tsan: add a test from data-race-test suite:
authorDmitry Vyukov <dvyukov@google.com>
Fri, 30 May 2014 14:27:31 +0000 (14:27 +0000)
committerDmitry Vyukov <dvyukov@google.com>
Fri, 30 May 2014 14:27:31 +0000 (14:27 +0000)
https://code.google.com/p/data-race-test/source/browse/trunk/unittest/racecheck_unittest.cc

llvm-svn: 209900

compiler-rt/test/tsan/race_on_puts.cc [new file with mode: 0644]

diff --git a/compiler-rt/test/tsan/race_on_puts.cc b/compiler-rt/test/tsan/race_on_puts.cc
new file mode 100644 (file)
index 0000000..1f2b4db
--- /dev/null
@@ -0,0 +1,29 @@
+// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
+#include <pthread.h>
+#include <stdio.h>
+#include <unistd.h>
+
+char s[] = "abracadabra";
+
+void *Thread0(void *p) {
+  puts(s);
+  return 0;
+}
+
+void *Thread1(void *p) {
+  s[3] = 'z';
+  return 0;
+}
+
+int main() {
+  pthread_t th[2];
+  pthread_create(&th[0], 0, Thread0, 0);
+  pthread_create(&th[1], 0, Thread1, 0);
+  pthread_join(th[0], 0);
+  pthread_join(th[1], 0);
+  fprintf(stderr, "DONE");
+}
+
+// CHECK: WARNING: ThreadSanitizer: data race
+// CHECK: DONE
+