diff options
| author | Alexey Samsonov <samsonov@google.com> | 2014-02-14 14:35:48 +0000 |
|---|---|---|
| committer | Alexey Samsonov <samsonov@google.com> | 2014-02-14 14:35:48 +0000 |
| commit | e6a6183e9b8ecf7dec8808fa87577d5b574ca22e (patch) | |
| tree | a6e5f3181f2e0c4ffc21f9648c5e9c873f34b330 /compiler-rt/lib/tsan/lit_tests/mutex_robust2.cc | |
| parent | 9f20d6703479a952465f7db0c2fbd70904c030c2 (diff) | |
| download | bcm5719-llvm-e6a6183e9b8ecf7dec8808fa87577d5b574ca22e.tar.gz bcm5719-llvm-e6a6183e9b8ecf7dec8808fa87577d5b574ca22e.zip | |
Move TSan lit-tests under test/tsan
llvm-svn: 201414
Diffstat (limited to 'compiler-rt/lib/tsan/lit_tests/mutex_robust2.cc')
| -rw-r--r-- | compiler-rt/lib/tsan/lit_tests/mutex_robust2.cc | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/compiler-rt/lib/tsan/lit_tests/mutex_robust2.cc b/compiler-rt/lib/tsan/lit_tests/mutex_robust2.cc deleted file mode 100644 index 5bd7ff682d1..00000000000 --- a/compiler-rt/lib/tsan/lit_tests/mutex_robust2.cc +++ /dev/null @@ -1,41 +0,0 @@ -// RUN: %clangxx_tsan -O1 %s -o %t && not %t 2>&1 | FileCheck %s -#include <pthread.h> -#include <stdlib.h> -#include <stdio.h> -#include <unistd.h> -#include <errno.h> - -pthread_mutex_t m; -int x; - -void *thr(void *p) { - pthread_mutex_lock(&m); - x = 42; - return 0; -} - -int main() { - pthread_mutexattr_t a; - pthread_mutexattr_init(&a); - pthread_mutexattr_setrobust(&a, PTHREAD_MUTEX_ROBUST); - pthread_mutex_init(&m, &a); - pthread_t th; - pthread_create(&th, 0, thr, 0); - sleep(1); - if (pthread_mutex_trylock(&m) != EOWNERDEAD) { - fprintf(stderr, "not EOWNERDEAD\n"); - exit(1); - } - x = 43; - pthread_join(th, 0); - fprintf(stderr, "DONE\n"); -} - -// This is a false positive, tsan must not bark at the data race. -// But currently it does. -// CHECK-NOT: WARNING: ThreadSanitizer WARNING: double lock of mutex -// CHECK: WARNING: ThreadSanitizer: data race -// CHECK-NOT: EOWNERDEAD -// CHECK: DONE -// CHECK-NOT: WARNING: ThreadSanitizer - |

