]> granicus.if.org Git - clang/commit
Add value invalidation logic for block-captured variables. Conceptually invoking...
authorTed Kremenek <kremenek@apple.com>
Thu, 3 Dec 2009 08:25:47 +0000 (08:25 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 3 Dec 2009 08:25:47 +0000 (08:25 +0000)
commit2ffbfd96a3f1c2e55c0e950d941fbb4dbcd137b9
tree7a21e964e5c9d57dc9c65a3aa340d4291dfb32f7
parent81cef5889027d0f96b24afa7a0bb28d9023474ed
Add value invalidation logic for block-captured variables.  Conceptually invoking a block (without specific reasoning of what the block does) can invalidate any value to it by reference when the block was created.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90431 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/CFRefCount.cpp
lib/Analysis/RegionStore.cpp
test/Analysis/misc-ps-region-store.m