diff options
Diffstat (limited to 'lib/tsan/lit_tests/sleep_sync.cc')
-rw-r--r-- | lib/tsan/lit_tests/sleep_sync.cc | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/lib/tsan/lit_tests/sleep_sync.cc b/lib/tsan/lit_tests/sleep_sync.cc deleted file mode 100644 index 217a52a097ce..000000000000 --- a/lib/tsan/lit_tests/sleep_sync.cc +++ /dev/null @@ -1,30 +0,0 @@ -// RUN: %clangxx_tsan -O1 %s -o %t && not %t 2>&1 | FileCheck %s -#include <pthread.h> -#include <unistd.h> - -int X = 0; - -void MySleep() { - sleep(1); -} - -void *Thread(void *p) { - MySleep(); // Assume the main thread has done the write. - X = 42; - return 0; -} - -int main() { - pthread_t t; - pthread_create(&t, 0, Thread, 0); - X = 43; - pthread_join(t, 0); - return 0; -} - -// CHECK: WARNING: ThreadSanitizer: data race -// ... -// CHECK: As if synchronized via sleep: -// CHECK-NEXT: #0 sleep -// CHECK-NEXT: #1 MySleep -// CHECK-NEXT: #2 Thread |