diff options
Diffstat (limited to 'lib/tsan/lit_tests/ignore_race.cc')
-rw-r--r-- | lib/tsan/lit_tests/ignore_race.cc | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/lib/tsan/lit_tests/ignore_race.cc b/lib/tsan/lit_tests/ignore_race.cc deleted file mode 100644 index 23d74d0ed840..000000000000 --- a/lib/tsan/lit_tests/ignore_race.cc +++ /dev/null @@ -1,31 +0,0 @@ -// RUN: %clang_tsan -O1 %s -o %t && %t 2>&1 | FileCheck %s -#include <pthread.h> -#include <stdio.h> -#include <unistd.h> - -int Global; - -extern "C" void AnnotateIgnoreWritesBegin(const char *f, int l); -extern "C" void AnnotateIgnoreWritesEnd(const char *f, int l); -extern "C" void AnnotateIgnoreReadsBegin(const char *f, int l); -extern "C" void AnnotateIgnoreReadsEnd(const char *f, int l); - -void *Thread(void *x) { - AnnotateIgnoreWritesBegin(__FILE__, __LINE__); - AnnotateIgnoreReadsBegin(__FILE__, __LINE__); - Global = 42; - AnnotateIgnoreReadsEnd(__FILE__, __LINE__); - AnnotateIgnoreWritesEnd(__FILE__, __LINE__); - return 0; -} - -int main() { - pthread_t t; - pthread_create(&t, 0, Thread, 0); - sleep(1); - Global = 43; - pthread_join(t, 0); - printf("OK\n"); -} - -// CHECK-NOT: WARNING: ThreadSanitizer: data race |