1#include <pthread.h>
2#include <stdio.h>
3
4void *Thread(void *x) {
5  return 0;
6}
7
8int main() {
9  pthread_t t;
10  pthread_create(&t, 0, Thread, 0);
11  pthread_join(t, 0);
12  printf("PASS\n");
13  return 0;
14}
15
16/* { dg-prune-output "WARNING: ThreadSanitizer: thread leak.*" } */
17