tsan: add system tests for suppressions
authorDmitry Vyukov <dvyukov@google.com>
Mon, 10 Jun 2013 15:39:28 +0000 (15:39 +0000)
committerDmitry Vyukov <dvyukov@google.com>
Mon, 10 Jun 2013 15:39:28 +0000 (15:39 +0000)
llvm-svn: 183673

compiler-rt/lib/tsan/lit_tests/suppressions_global.cc [new file with mode: 0644]
compiler-rt/lib/tsan/lit_tests/suppressions_global.cc.supp [new file with mode: 0644]
compiler-rt/lib/tsan/lit_tests/suppressions_race.cc [new file with mode: 0644]
compiler-rt/lib/tsan/lit_tests/suppressions_race.cc.supp [new file with mode: 0644]
compiler-rt/lib/tsan/lit_tests/suppressions_race2.cc [new file with mode: 0644]
compiler-rt/lib/tsan/lit_tests/suppressions_race2.cc.supp [new file with mode: 0644]
compiler-rt/lib/tsan/lit_tests/test_output.sh

diff --git a/compiler-rt/lib/tsan/lit_tests/suppressions_global.cc b/compiler-rt/lib/tsan/lit_tests/suppressions_global.cc
new file mode 100644 (file)
index 0000000..7330f03
--- /dev/null
@@ -0,0 +1,28 @@
+// RUN: %clang_tsan -O1 %s -o %t && TSAN_OPTIONS="$TSAN_OPTIONS suppressions=%s.supp" %t 2>&1 | FileCheck %s
+#include <pthread.h>
+#include <stdio.h>
+
+int RacyGlobal;
+
+void *Thread1(void *x) {
+  RacyGlobal = 42;
+  return NULL;
+}
+
+void *Thread2(void *x) {
+  RacyGlobal = 43;
+  return NULL;
+}
+
+int main() {
+  pthread_t t[2];
+  pthread_create(&t[0], NULL, Thread1, NULL);
+  pthread_create(&t[1], NULL, Thread2, NULL);
+  pthread_join(t[0], NULL);
+  pthread_join(t[1], NULL);
+  return 0;
+}
+
+// CHECK-NOT: failed to open suppressions file
+// CHECK-NOT: WARNING: ThreadSanitizer: data race
+
diff --git a/compiler-rt/lib/tsan/lit_tests/suppressions_global.cc.supp b/compiler-rt/lib/tsan/lit_tests/suppressions_global.cc.supp
new file mode 100644 (file)
index 0000000..5fa8a2e
--- /dev/null
@@ -0,0 +1,2 @@
+race:RacyGlobal
+
diff --git a/compiler-rt/lib/tsan/lit_tests/suppressions_race.cc b/compiler-rt/lib/tsan/lit_tests/suppressions_race.cc
new file mode 100644 (file)
index 0000000..8b565d0
--- /dev/null
@@ -0,0 +1,30 @@
+// RUN: %clang_tsan -O1 %s -o %t && TSAN_OPTIONS="$TSAN_OPTIONS suppressions=%s.supp" %t 2>&1 | FileCheck %s
+#include <pthread.h>
+#include <stdio.h>
+#include <unistd.h>
+
+int Global;
+
+void *Thread1(void *x) {
+  sleep(1);
+  Global = 42;
+  return NULL;
+}
+
+void *Thread2(void *x) {
+  Global = 43;
+  return NULL;
+}
+
+int main() {
+  pthread_t t[2];
+  pthread_create(&t[0], NULL, Thread1, NULL);
+  pthread_create(&t[1], NULL, Thread2, NULL);
+  pthread_join(t[0], NULL);
+  pthread_join(t[1], NULL);
+  return 0;
+}
+
+// CHECK-NOT: failed to open suppressions file
+// CHECK-NOT: WARNING: ThreadSanitizer: data race
+
diff --git a/compiler-rt/lib/tsan/lit_tests/suppressions_race.cc.supp b/compiler-rt/lib/tsan/lit_tests/suppressions_race.cc.supp
new file mode 100644 (file)
index 0000000..cbdba76
--- /dev/null
@@ -0,0 +1,2 @@
+race:Thread1
+
diff --git a/compiler-rt/lib/tsan/lit_tests/suppressions_race2.cc b/compiler-rt/lib/tsan/lit_tests/suppressions_race2.cc
new file mode 100644 (file)
index 0000000..267e434
--- /dev/null
@@ -0,0 +1,30 @@
+// RUN: %clang_tsan -O1 %s -o %t && TSAN_OPTIONS="$TSAN_OPTIONS suppressions=%s.supp" %t 2>&1 | FileCheck %s
+#include <pthread.h>
+#include <stdio.h>
+#include <unistd.h>
+
+int Global;
+
+void *Thread1(void *x) {
+  Global = 42;
+  return NULL;
+}
+
+void *Thread2(void *x) {
+  sleep(1);
+  Global = 43;
+  return NULL;
+}
+
+int main() {
+  pthread_t t[2];
+  pthread_create(&t[0], NULL, Thread1, NULL);
+  pthread_create(&t[1], NULL, Thread2, NULL);
+  pthread_join(t[0], NULL);
+  pthread_join(t[1], NULL);
+  return 0;
+}
+
+// CHECK-NOT: failed to open suppressions file
+// CHECK-NOT: WARNING: ThreadSanitizer: data race
+
diff --git a/compiler-rt/lib/tsan/lit_tests/suppressions_race2.cc.supp b/compiler-rt/lib/tsan/lit_tests/suppressions_race2.cc.supp
new file mode 100644 (file)
index 0000000..b3c4dbc
--- /dev/null
@@ -0,0 +1,2 @@
+race:Thread2
+
index 1eedf6eb20a3214eafa507bc43006c9fb4c07d95..94b742a97ba560742158fa6a641ac09d5fd7d8c8 100755 (executable)
@@ -40,6 +40,10 @@ if [ "$1" == "" ]; then
       echo TEST $c is not supported
       continue
     fi
+    if [ "`grep "TSAN_OPTIONS" $c`" ]; then
+      echo SKIPPING $c -- requires TSAN_OPTIONS
+      continue
+    fi
     COMPILER=$CXX
     case $c in
       *.c) COMPILER=$CC