diff options
Diffstat (limited to 'test/tsan/mutex_bad_read_lock.cc')
| -rw-r--r-- | test/tsan/mutex_bad_read_lock.cc | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/tsan/mutex_bad_read_lock.cc b/test/tsan/mutex_bad_read_lock.cc new file mode 100644 index 000000000000..84a2976d53e4 --- /dev/null +++ b/test/tsan/mutex_bad_read_lock.cc @@ -0,0 +1,19 @@ +// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s +extern "C" void AnnotateRWLockAcquired(const char *f, int l, void *m, long rw); + +int main() { + int m = 0; + AnnotateRWLockAcquired(__FILE__, __LINE__, &m, 1); + AnnotateRWLockAcquired(__FILE__, __LINE__, &m, 0); + return 0; +} + +// CHECK: WARNING: ThreadSanitizer: read lock of a write locked mutex +// CHECK: #0 AnnotateRWLockAcquired +// CHECK: #1 main +// CHECK: Location is stack of main thread. +// CHECK: Mutex {{.*}}) created at: +// CHECK: #0 AnnotateRWLockAcquired +// CHECK: #1 main +// CHECK: SUMMARY: ThreadSanitizer: read lock of a write locked mutex + |