[compiler-rt] r183673 - tsan: add system tests for suppressions

[Dmitry Vyukov]

Author: dvyukov
Date: Mon Jun 10 10:39:28 2013
New Revision: 183673

URL: http://llvm.org/viewvc/llvm-project?rev=183673&view=rev
Log:
tsan: add system tests for suppressions

Added:
    compiler-rt/trunk/lib/tsan/lit_tests/suppressions_global.cc
    compiler-rt/trunk/lib/tsan/lit_tests/suppressions_global.cc.supp
    compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race.cc
    compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race.cc.supp
    compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race2.cc
    compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race2.cc.supp
Modified:
    compiler-rt/trunk/lib/tsan/lit_tests/test_output.sh

Added: compiler-rt/trunk/lib/tsan/lit_tests/suppressions_global.cc
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/lib/tsan/lit_tests/suppressions_global.cc?rev=183673&view=auto
==============================================================================
--- compiler-rt/trunk/lib/tsan/lit_tests/suppressions_global.cc (added)
+++ compiler-rt/trunk/lib/tsan/lit_tests/suppressions_global.cc Mon Jun 10 10:39:28 2013
@@ -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
+

Added: compiler-rt/trunk/lib/tsan/lit_tests/suppressions_global.cc.supp
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/lib/tsan/lit_tests/suppressions_global.cc.supp?rev=183673&view=auto
==============================================================================
--- compiler-rt/trunk/lib/tsan/lit_tests/suppressions_global.cc.supp (added)
+++ compiler-rt/trunk/lib/tsan/lit_tests/suppressions_global.cc.supp Mon Jun 10 10:39:28 2013
@@ -0,0 +1,2 @@
+race:RacyGlobal
+

Added: compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race.cc
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race.cc?rev=183673&view=auto
==============================================================================
--- compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race.cc (added)
+++ compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race.cc Mon Jun 10 10:39:28 2013
@@ -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
+

Added: compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race.cc.supp
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race.cc.supp?rev=183673&view=auto
==============================================================================
--- compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race.cc.supp (added)
+++ compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race.cc.supp Mon Jun 10 10:39:28 2013
@@ -0,0 +1,2 @@
+race:Thread1
+

Added: compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race2.cc
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race2.cc?rev=183673&view=auto
==============================================================================
--- compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race2.cc (added)
+++ compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race2.cc Mon Jun 10 10:39:28 2013
@@ -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
+

Added: compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race2.cc.supp
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race2.cc.supp?rev=183673&view=auto
==============================================================================
--- compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race2.cc.supp (added)
+++ compiler-rt/trunk/lib/tsan/lit_tests/suppressions_race2.cc.supp Mon Jun 10 10:39:28 2013
@@ -0,0 +1,2 @@
+race:Thread2
+

Modified: compiler-rt/trunk/lib/tsan/lit_tests/test_output.sh
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/lib/tsan/lit_tests/test_output.sh?rev=183673&r1=183672&r2=183673&view=diff
==============================================================================
--- compiler-rt/trunk/lib/tsan/lit_tests/test_output.sh (original)
+++ compiler-rt/trunk/lib/tsan/lit_tests/test_output.sh Mon Jun 10 10:39:28 2013
@@ -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