1 files changed, 29 insertions, 0 deletions
diff --git a/test/tsan/mutex_double_lock.cc b/test/tsan/mutex_double_lock.cc
new file mode 100644
index 000000000000..c1bebf73706e
--- /dev/null
+++ b/test/tsan/mutex_double_lock.cc
@@ -0,0 +1,29 @@
+// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
+#include <pthread.h>
+#include <unistd.h>
+
+extern "C" void AnnotateRWLockAcquired(const char *f, int l, void *m, long rw);
+
+void *ThreadFunc(void *m) {
+  AnnotateRWLockAcquired(__FILE__, __LINE__, m, 1);
+  return 0;
+}
+
+int main() {
+  int m = 0;
+  AnnotateRWLockAcquired(__FILE__, __LINE__, &m, 1);
+  pthread_t th;
+  pthread_create(&th, 0, ThreadFunc, &m);
+  pthread_join(th, 0);
+  return 0;
+}
+
+// CHECK: WARNING: ThreadSanitizer: double lock of a mutex
+// CHECK:     #0 AnnotateRWLockAcquired
+// CHECK:     #1 ThreadFunc
+// CHECK: Location is stack of main thread.
+// CHECK:   Mutex {{.*}} created at:
+// CHECK:     #0 AnnotateRWLockAcquired
+// CHECK:     #1 main
+// CHECK: SUMMARY: ThreadSanitizer: double lock of a mutex {{.*}}mutex_double_lock.cc{{.*}}ThreadFunc
+