diff options
Diffstat (limited to 'test/tsan/race_on_speculative_load.cc')
-rw-r--r-- | test/tsan/race_on_speculative_load.cc | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/test/tsan/race_on_speculative_load.cc b/test/tsan/race_on_speculative_load.cc index f816db9e8853..b50b69677d4b 100644 --- a/test/tsan/race_on_speculative_load.cc +++ b/test/tsan/race_on_speculative_load.cc @@ -1,9 +1,8 @@ // RUN: %clangxx_tsan -O1 %s -o %t && %run %t | FileCheck %s // Regtest for https://code.google.com/p/thread-sanitizer/issues/detail?id=40 // This is a correct program and tsan should not report a race. -#include <pthread.h> -#include <unistd.h> -#include <stdio.h> +#include "test.h" + int g; __attribute__((noinline)) int foo(int cond) { @@ -11,17 +10,21 @@ int foo(int cond) { return g; return 0; } + void *Thread1(void *p) { + barrier_wait(&barrier); long res = foo((long)p); - sleep(1); return (void*) res; } int main() { + barrier_init(&barrier, 2); pthread_t t; pthread_create(&t, 0, Thread1, 0); g = 1; + barrier_wait(&barrier); pthread_join(t, 0); printf("PASS\n"); + // CHECK-NOT: ThreadSanitizer: data race // CHECK: PASS } |