]> granicus.if.org Git - clang/commit
Thread safety analysis: add two new attributes to the thread safety analysis:
authorDeLesley Hutchins <delesley@google.com>
Fri, 17 May 2013 23:02:59 +0000 (23:02 +0000)
committerDeLesley Hutchins <delesley@google.com>
Fri, 17 May 2013 23:02:59 +0000 (23:02 +0000)
commit5c6134fd09bc5b738dafdd1c774edde13d95cb20
tree0c7eb3783dd746b4157b9670e1c069579c2b227f
parent8b00b8004eaffd42429ffb1f3fc9efaa3194cc15
Thread safety analysis: add two new attributes to the thread safety analysis:
assert_exclusive_lock and assert_shared_lock.  These attributes are used to
mark functions that dynamically check (i.e. assert) that a lock is held.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@182170 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Basic/Attr.td
lib/Analysis/ThreadSafety.cpp
lib/Sema/SemaDeclAttr.cpp
test/SemaCXX/warn-thread-safety-analysis.cpp
test/SemaCXX/warn-thread-safety-parsing.cpp