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)
commit4980df623f1532ccf3781afbcc3c916f2599c422
tree03094b7a09a9f59cfa36c5f4782a33d31280a613
parent57775cd66f60bbb53c35b4cb5ec296744a76080c
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.

llvm-svn: 227997
clang/include/clang/Analysis/Analyses/ThreadSafety.h
clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h
clang/include/clang/Basic/DiagnosticSemaKinds.td
clang/include/clang/Sema/Sema.h
clang/lib/Analysis/ThreadSafety.cpp
clang/lib/Sema/AnalysisBasedWarnings.cpp
clang/lib/Sema/Sema.cpp
clang/test/SemaCXX/warn-thread-safety-analysis.cpp