projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0b2ebcb) | patch
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)
commit4266522ab9a5c1c868e42b0d617a1136408cdec7
tree6a27935cfd12d6f8370d823d190ec1e172bce1fctree | snapshot
parent0b2ebcb49dd0d5dc61a122025c207a6ff54f1ad1commit | diff
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.

llvm-svn: 214725
clang/include/clang/Analysis/Analyses/ThreadSafety.h diff | blob | history
clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h diff | blob | history
clang/lib/Analysis/ThreadSafety.cpp diff | blob | history
clang/lib/Analysis/ThreadSafetyCommon.cpp diff | blob | history
clang/test/SemaCXX/warn-thread-safety-analysis.cpp diff | blob | history
Domain: System / Toolchain;