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