1 // RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s 2 // Regtest for https://github.com/google/sanitizers/issues/447 3 // This is a correct program and tsan should not report a race. 4 #include "test.h" 5 6 int g; 7 __attribute__((noinline)) 8 int foo(int cond) { 9 if (cond) 10 return g; 11 return 0; 12 } 13 14 void *Thread1(void *p) { 15 barrier_wait(&barrier); 16 long res = foo((long)p); 17 return (void*) res; 18 } 19 20 int main() { 21 barrier_init(&barrier, 2); 22 pthread_t t; 23 pthread_create(&t, 0, Thread1, 0); 24 g = 1; 25 barrier_wait(&barrier); 26 pthread_join(t, 0); 27 fprintf(stderr, "PASS\n"); 28 // CHECK-NOT: ThreadSanitizer: data race 29 // CHECK: PASS 30 } 31
