]> granicus.if.org Git - clang/commit
Thread safety analysis: Add support for negative requirements, which are
authorDeLesley Hutchins <delesley@google.com>
Mon, 4 Aug 2014 16:10:59 +0000 (16:10 +0000)
committerDeLesley Hutchins <delesley@google.com>
Mon, 4 Aug 2014 16:10:59 +0000 (16:10 +0000)
commitd8a1fd6e9ccf53c5e8ffcf151382b374713d2514
treeabd1fc79786541f8be3516a153aefd2b70406a73
parent5f2d81841a6932aea4d989c46363b12207a263dc
Thread safety analysis:  Add support for negative requirements, which are
capability expressions of the form !expr, and denote a capability that must
not be held.

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