Thread Safety Analysis: add a -Wthread-safety-negative flag that warns whenever
authorDeLesley Hutchins <delesley@google.com>
Mon, 4 Aug 2014 22:13:06 +0000 (22:13 +0000)
committerDeLesley Hutchins <delesley@google.com>
Mon, 4 Aug 2014 22:13:06 +0000 (22:13 +0000)
commit3efd0495a0813896e1559e532c5d9e581dd48c0e
treedb83f7025f70edd741cc9ff85947befeaaee3a05
parent53533e885a1b82d7eb88e7e0840012c52524af7e
Thread Safety Analysis: add a -Wthread-safety-negative flag that warns whenever
a mutex is acquired, but corresponding mutex is not provably not-held.  This
is based on the earlier negative requirements patch.

llvm-svn: 214789
clang/include/clang/Analysis/Analyses/ThreadSafety.h
clang/include/clang/Basic/DiagnosticGroups.td
clang/include/clang/Basic/DiagnosticSemaKinds.td
clang/lib/Analysis/ThreadSafety.cpp
clang/lib/Sema/AnalysisBasedWarnings.cpp
clang/test/Sema/warn-thread-safety-analysis.c
clang/test/SemaCXX/warn-thread-safety-analysis.cpp
clang/test/SemaCXX/warn-thread-safety-negative.cpp [new file with mode: 0644]