]> 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 22:11:04 +0000 (22:11 +0000)
committerDeLesley Hutchins <delesley@google.com>
Tue, 3 Feb 2015 22:11:04 +0000 (22:11 +0000)
commitbbe33819d4b89d724a0ea4402c46f90511859652
tree671cd4ceed8241ca1400689032e7fb234d0a86f0
parent2dc0c9f86cbbe2db4290521449f54f4ea20cfab4
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.

This patch also replaces calls to getAttrs() with calls to attrs() throughout
ThreadSafety.cpp, which fixes the earlier issue that cause assert failures.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@228051 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