1 // RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s 2 #include <pthread.h> 3 #include <unistd.h> 4 5 int X = 0; 6 7 void *Thread(void *p) { 8 X = 42; 9 return 0; 10 } 11 12 int main() { 13 pthread_t t; 14 sleep(1); 15 pthread_create(&t, 0, Thread, 0); 16 X = 43; 17 pthread_join(t, 0); 18 return 0; 19 } 20 21 // CHECK: WARNING: ThreadSanitizer: data race 22 // CHECK-NOT: As if synchronized via sleep 23
