1 files changed, 30 insertions, 0 deletions
diff --git a/test/tsan/libdispatch/semaphore-norace.c b/test/tsan/libdispatch/semaphore-norace.c
new file mode 100644
index 000000000..36e03dce8
--- /dev/null
+++ b/test/tsan/libdispatch/semaphore-norace.c
@@ -0,0 +1,30 @@
+// RUN: %clang_tsan %s -o %t
+// RUN: %run %t 2>&1 | FileCheck %s --implicit-check-not='ThreadSanitizer'
+
+#include <dispatch/dispatch.h>
+
+#include <stdio.h>
+
+long global;
+
+int main() {
+    fprintf(stderr, "Hello world.");
+
+    global = 42;
+
+    dispatch_semaphore_t sem = dispatch_semaphore_create(0);
+    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
+
+        global = 43;
+        dispatch_semaphore_signal(sem);
+    });
+
+    dispatch_semaphore_wait(sem, DISPATCH_TIME_FOREVER);
+    global = 44;
+
+    fprintf(stderr, "Done.");
+    return 0;
+}
+
+// CHECK: Hello world.
+// CHECK: Done.