]> granicus.if.org Git - clang/commit
Thread Safety Analysis: add support for before/after annotations on mutexes.
authorDeLesley Hutchins <delesley@google.com>
Tue, 3 Feb 2015 18:17:48 +0000 (18:17 +0000)
committerDeLesley Hutchins <delesley@google.com>
Tue, 3 Feb 2015 18:17:48 +0000 (18:17 +0000)
commit6818e0cc40d18f954bd6f6079cdf23fdfae2fbee
treec8901fe57001802cec706d00988d0c3e72bf645b
parent2c7b0780fa661ec22dacfb34070f578198c65806
Thread Safety Analysis: add support for before/after annotations on mutexes.
These checks detect potential deadlocks caused by inconsistent lock
ordering.  The checks are implemented under the -Wthread-safety-beta flag.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@227997 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/Analyses/ThreadSafety.h
include/clang/Analysis/Analyses/ThreadSafetyCommon.h
include/clang/Basic/DiagnosticSemaKinds.td
include/clang/Sema/Sema.h
lib/Analysis/ThreadSafety.cpp
lib/Sema/AnalysisBasedWarnings.cpp
lib/Sema/Sema.cpp
test/SemaCXX/warn-thread-safety-analysis.cpp