1 // RUN: %clangxx_tsan -O1 %s -o %t && not %t 2>&1 | FileCheck %s 2 #include <pthread.h> 3 #include <stdio.h> 4 #include <unistd.h> 5 6 int fds[2]; 7 8 void *Thread1(void *x) { 9 write(fds[1], "a", 1); 10 return NULL; 11 } 12 13 void *Thread2(void *x) { 14 sleep(1); 15 close(fds[0]); 16 close(fds[1]); 17 return NULL; 18 } 19 20 int main() { 21 pipe(fds); 22 pthread_t t[2]; 23 pthread_create(&t[0], NULL, Thread1, NULL); 24 pthread_create(&t[1], NULL, Thread2, NULL); 25 pthread_join(t[0], NULL); 26 pthread_join(t[1], NULL); 27 } 28 29 // CHECK: WARNING: ThreadSanitizer: data race 30 // CHECK: Location is file descriptor {{[0-9]+}} created by main thread at: 31 // CHECK: #0 pipe 32 // CHECK: #1 main 33 34
