1// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s 2#include <pthread.h> 3#include <unistd.h> 4 5int X = 0; 6 7void *Thread(void *p) { 8 X = 42; 9 return 0; 10} 11 12int 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