[compiler-rt] r357727 - [TSan][libdispatch] Stricter checks via `--implicit-check-not`

Julian Lettner via llvm-commits llvm-commits at lists.llvm.org
Thu Apr 4 14:25:56 PDT 2019


Author: yln
Date: Thu Apr  4 14:25:56 2019
New Revision: 357727

URL: http://llvm.org/viewvc/llvm-project?rev=357727&view=rev
Log:
[TSan][libdispatch] Stricter checks via `--implicit-check-not`

`--implicit-check-not='ThreadSanitizer'` checks in the entire output
while `// CHECK-NOT: ThreadSanitizer` only checks after (before) the
previous (next) match.

Modified:
    compiler-rt/trunk/test/tsan/libdispatch/dispatch_main.c
    compiler-rt/trunk/test/tsan/libdispatch/groups-destructor.cc
    compiler-rt/trunk/test/tsan/libdispatch/groups-leave.c
    compiler-rt/trunk/test/tsan/libdispatch/groups-stress.c
    compiler-rt/trunk/test/tsan/libdispatch/once.c
    compiler-rt/trunk/test/tsan/libdispatch/semaphore-norace.c
    compiler-rt/trunk/test/tsan/libdispatch/suspend.c

Modified: compiler-rt/trunk/test/tsan/libdispatch/dispatch_main.c
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/tsan/libdispatch/dispatch_main.c?rev=357727&r1=357726&r2=357727&view=diff
==============================================================================
--- compiler-rt/trunk/test/tsan/libdispatch/dispatch_main.c (original)
+++ compiler-rt/trunk/test/tsan/libdispatch/dispatch_main.c Thu Apr  4 14:25:56 2019
@@ -2,7 +2,7 @@
 // quits the main thread.
 
 // RUN: %clang_tsan %s -o %t
-// RUN: %run %t 2>&1 | FileCheck %s
+// RUN: %run %t 2>&1 | FileCheck %s --implicit-check-not='ThreadSanitizer'
 
 #include <dispatch/dispatch.h>
 
@@ -36,6 +36,5 @@ int main() {
 }
 
 // CHECK: Hello world
+// CHECK: 123
 // CHECK: Done.
-// CHECK-NOT: WARNING: ThreadSanitizer
-// CHECK-NOT: CHECK failed

Modified: compiler-rt/trunk/test/tsan/libdispatch/groups-destructor.cc
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/tsan/libdispatch/groups-destructor.cc?rev=357727&r1=357726&r2=357727&view=diff
==============================================================================
--- compiler-rt/trunk/test/tsan/libdispatch/groups-destructor.cc (original)
+++ compiler-rt/trunk/test/tsan/libdispatch/groups-destructor.cc Thu Apr  4 14:25:56 2019
@@ -1,5 +1,5 @@
 // RUN: %clangxx_tsan %s -o %t
-// RUN: %run %t 2>&1 | FileCheck %s
+// RUN: %run %t 2>&1 | FileCheck %s --implicit-check-not='ThreadSanitizer'
 
 #include <dispatch/dispatch.h>
 
@@ -39,5 +39,4 @@ int main(int argc, const char *argv[]) {
 }
 
 // CHECK: Hello world.
-// CHECK-NOT: WARNING: ThreadSanitizer
 // CHECK: Done.

Modified: compiler-rt/trunk/test/tsan/libdispatch/groups-leave.c
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/tsan/libdispatch/groups-leave.c?rev=357727&r1=357726&r2=357727&view=diff
==============================================================================
--- compiler-rt/trunk/test/tsan/libdispatch/groups-leave.c (original)
+++ compiler-rt/trunk/test/tsan/libdispatch/groups-leave.c Thu Apr  4 14:25:56 2019
@@ -1,5 +1,5 @@
 // RUN: %clang_tsan %s -o %t
-// RUN: %run %t 2>&1 | FileCheck %s
+// RUN: %run %t 2>&1 | FileCheck %s --implicit-check-not='ThreadSanitizer'
 
 #include <dispatch/dispatch.h>
 
@@ -52,5 +52,4 @@ int main() {
 }
 
 // CHECK: Hello world.
-// CHECK-NOT: WARNING: ThreadSanitizer
 // CHECK: Done.

Modified: compiler-rt/trunk/test/tsan/libdispatch/groups-stress.c
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/tsan/libdispatch/groups-stress.c?rev=357727&r1=357726&r2=357727&view=diff
==============================================================================
--- compiler-rt/trunk/test/tsan/libdispatch/groups-stress.c (original)
+++ compiler-rt/trunk/test/tsan/libdispatch/groups-stress.c Thu Apr  4 14:25:56 2019
@@ -1,5 +1,5 @@
 // RUN: %clang_tsan %s -o %t
-// RUN: %run %t 2>&1 | FileCheck %s
+// RUN: %run %t 2>&1 | FileCheck %s --implicit-check-not='ThreadSanitizer'
 
 #include <dispatch/dispatch.h>
 
@@ -41,5 +41,3 @@ int main() {
 
 // CHECK: Hello world.
 // CHECK: Done.
-// CHECK-NOT: WARNING: ThreadSanitizer
-// CHECK-NOT: CHECK failed

Modified: compiler-rt/trunk/test/tsan/libdispatch/once.c
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/tsan/libdispatch/once.c?rev=357727&r1=357726&r2=357727&view=diff
==============================================================================
--- compiler-rt/trunk/test/tsan/libdispatch/once.c (original)
+++ compiler-rt/trunk/test/tsan/libdispatch/once.c Thu Apr  4 14:25:56 2019
@@ -1,5 +1,5 @@
 // RUN: %clang_tsan %s -o %t
-// RUN: %run %t 2>&1 | FileCheck %s
+// RUN: %run %t 2>&1 | FileCheck %s --implicit-check-not='ThreadSanitizer'
 
 #include <dispatch/dispatch.h>
 
@@ -52,4 +52,3 @@ int main() {
 
 // CHECK: Hello world.
 // CHECK: Done.
-// CHECK-NOT: WARNING: ThreadSanitizer

Modified: compiler-rt/trunk/test/tsan/libdispatch/semaphore-norace.c
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/tsan/libdispatch/semaphore-norace.c?rev=357727&r1=357726&r2=357727&view=diff
==============================================================================
--- compiler-rt/trunk/test/tsan/libdispatch/semaphore-norace.c (original)
+++ compiler-rt/trunk/test/tsan/libdispatch/semaphore-norace.c Thu Apr  4 14:25:56 2019
@@ -1,5 +1,5 @@
 // RUN: %clang_tsan %s -o %t
-// RUN: %run %t 2>&1 | FileCheck %s
+// RUN: %run %t 2>&1 | FileCheck %s --implicit-check-not='ThreadSanitizer'
 
 #include <dispatch/dispatch.h>
 
@@ -28,4 +28,3 @@ int main() {
 
 // CHECK: Hello world.
 // CHECK: Done.
-// CHECK-NOT: WARNING: ThreadSanitizer

Modified: compiler-rt/trunk/test/tsan/libdispatch/suspend.c
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/tsan/libdispatch/suspend.c?rev=357727&r1=357726&r2=357727&view=diff
==============================================================================
--- compiler-rt/trunk/test/tsan/libdispatch/suspend.c (original)
+++ compiler-rt/trunk/test/tsan/libdispatch/suspend.c Thu Apr  4 14:25:56 2019
@@ -1,5 +1,5 @@
 // RUN: %clang_tsan %s -o %t
-// RUN: %run %t 2>&1 | FileCheck %s
+// RUN: %run %t 2>&1 | FileCheck %s --implicit-check-not='ThreadSanitizer'
 
 #include <dispatch/dispatch.h>
 
@@ -43,5 +43,4 @@ int main(int argc, const char *argv[]) {
 }
 
 // CHECK: Hello world.
-// CHECK-NOT: WARNING: ThreadSanitizer
 // CHECK: Done.




More information about the llvm-commits mailing list