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)
commitb951b142c7354dae58770487213a8aac4e7f8779
tree2f9cc8a40c55abafedb6e96b0a7b2731caadf948
parentb3b9c09c6c58877358f25b610c6c2f2cf64fde0a
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.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@214789 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/Analyses/ThreadSafety.h
include/clang/Basic/DiagnosticGroups.td
include/clang/Basic/DiagnosticSemaKinds.td
lib/Analysis/ThreadSafety.cpp
lib/Sema/AnalysisBasedWarnings.cpp
test/Sema/warn-thread-safety-analysis.c
test/SemaCXX/warn-thread-safety-analysis.cpp
test/SemaCXX/warn-thread-safety-negative.cpp [new file with mode: 0644]