[compiler-rt] r212533 - [tsan] Enable tsan's deadlock detector by default.
Kostya Serebryany
kcc at google.com
Tue Jul 8 06:40:09 PDT 2014
Author: kcc
Date: Tue Jul 8 08:40:08 2014
New Revision: 212533
URL: http://llvm.org/viewvc/llvm-project?rev=212533&view=rev
Log:
[tsan] Enable tsan's deadlock detector by default.
The tsan's deadlock detector has been used in Chromium for a while;
it found a few real bugs and reported no false positives.
So, it's time to give it a bit more exposure.
Modified:
compiler-rt/trunk/lib/tsan/rtl/tsan_flags.cc
compiler-rt/trunk/test/tsan/mutex_cycle2.c
Modified: compiler-rt/trunk/lib/tsan/rtl/tsan_flags.cc
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/lib/tsan/rtl/tsan_flags.cc?rev=212533&r1=212532&r2=212533&view=diff
==============================================================================
--- compiler-rt/trunk/lib/tsan/rtl/tsan_flags.cc (original)
+++ compiler-rt/trunk/lib/tsan/rtl/tsan_flags.cc Tue Jul 8 08:40:08 2014
@@ -102,6 +102,7 @@ void InitializeFlags(Flags *f, const cha
SetCommonFlagsDefaults(f);
// Override some common flags defaults.
f->allow_addr2line = true;
+ f->detect_deadlocks = true;
// Let a frontend override.
ParseFlags(f, __tsan_default_options());
Modified: compiler-rt/trunk/test/tsan/mutex_cycle2.c
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/tsan/mutex_cycle2.c?rev=212533&r1=212532&r2=212533&view=diff
==============================================================================
--- compiler-rt/trunk/test/tsan/mutex_cycle2.c (original)
+++ compiler-rt/trunk/test/tsan/mutex_cycle2.c Tue Jul 8 08:40:08 2014
@@ -1,10 +1,13 @@
// RUN: %clangxx_tsan %s -o %t
+// RUN: not %run %t 2>&1 | FileCheck %s
// RUN: TSAN_OPTIONS=detect_deadlocks=1 not %run %t 2>&1 | FileCheck %s
+// RUN: TSAN_OPTIONS=detect_deadlocks=0 %run %t 2>&1 | FileCheck %s --check-prefix=DISABLED
// RUN: echo "deadlock:main" > %t.sup
-// RUN: TSAN_OPTIONS="detect_deadlocks=1 suppressions=%t.sup" %run %t
+// RUN: TSAN_OPTIONS="suppressions=%t.sup" %run %t 2>&1 | FileCheck %s --check-prefix=DISABLED
// RUN: echo "deadlock:zzzz" > %t.sup
-// RUN: TSAN_OPTIONS="detect_deadlocks=1 suppressions=%t.sup" not %run %t 2>&1 | FileCheck %s
+// RUN: TSAN_OPTIONS="suppressions=%t.sup" not %run %t 2>&1 | FileCheck %s
#include <pthread.h>
+#include <stdio.h>
int main() {
pthread_mutex_t mu1, mu2;
@@ -21,9 +24,12 @@ int main() {
pthread_mutex_lock(&mu2);
pthread_mutex_lock(&mu1);
// CHECK: ThreadSanitizer: lock-order-inversion (potential deadlock)
+ // DISABLED-NOT: ThreadSanitizer
+ // DISABLED: PASS
pthread_mutex_unlock(&mu1);
pthread_mutex_unlock(&mu2);
pthread_mutex_destroy(&mu1);
pthread_mutex_destroy(&mu2);
+ fprintf(stderr, "PASS\n");
}
More information about the llvm-commits
mailing list