1*7c3d14c8STreehugger Robot // RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s 2*7c3d14c8STreehugger Robot #include "test.h" 3*7c3d14c8STreehugger Robot 4*7c3d14c8STreehugger Robot int X = 0; 5*7c3d14c8STreehugger Robot MySleep()6*7c3d14c8STreehugger Robotvoid MySleep() { 7*7c3d14c8STreehugger Robot sleep(1); // the sleep that must appear in the report 8*7c3d14c8STreehugger Robot } 9*7c3d14c8STreehugger Robot Thread(void * p)10*7c3d14c8STreehugger Robotvoid *Thread(void *p) { 11*7c3d14c8STreehugger Robot barrier_wait(&barrier); 12*7c3d14c8STreehugger Robot MySleep(); // Assume the main thread has done the write. 13*7c3d14c8STreehugger Robot X = 42; 14*7c3d14c8STreehugger Robot return 0; 15*7c3d14c8STreehugger Robot } 16*7c3d14c8STreehugger Robot main()17*7c3d14c8STreehugger Robotint main() { 18*7c3d14c8STreehugger Robot barrier_init(&barrier, 2); 19*7c3d14c8STreehugger Robot pthread_t t; 20*7c3d14c8STreehugger Robot pthread_create(&t, 0, Thread, 0); 21*7c3d14c8STreehugger Robot X = 43; 22*7c3d14c8STreehugger Robot barrier_wait(&barrier); 23*7c3d14c8STreehugger Robot pthread_join(t, 0); 24*7c3d14c8STreehugger Robot return 0; 25*7c3d14c8STreehugger Robot } 26*7c3d14c8STreehugger Robot 27*7c3d14c8STreehugger Robot // CHECK: WARNING: ThreadSanitizer: data race 28*7c3d14c8STreehugger Robot // ... 29*7c3d14c8STreehugger Robot // CHECK: As if synchronized via sleep: 30*7c3d14c8STreehugger Robot // CHECK-NEXT: #0 sleep 31*7c3d14c8STreehugger Robot // CHECK-NEXT: #1 MySleep 32*7c3d14c8STreehugger Robot // CHECK-NEXT: #2 Thread 33