]> granicus.if.org Git - clang/commit
Thread-safety-analysis: adds existential quantification over lock
authorDeLesley Hutchins <delesley@google.com>
Fri, 10 Aug 2012 20:29:46 +0000 (20:29 +0000)
committerDeLesley Hutchins <delesley@google.com>
Fri, 10 Aug 2012 20:29:46 +0000 (20:29 +0000)
commitee2f032fe0fc86762608458c2a167ae504579a64
tree1424b1565abd29bf10c1651c59a44d9e531821b2
parenta74b715cdc37c4523818a4018faae99d977aa537
Thread-safety-analysis:  adds existential quantification over lock
expressions.  The syntax &MyClass::mutex is interpreted as a
pattern that matches m->mutex for any object m of type MyClass.

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