]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef4d5ce) | patch
[analyzer] Re-implement IvarInvalidationChecker so that it verifies that
authorAnna Zaks <ganna@apple.com>
Sat, 29 Sep 2012 00:20:38 +0000 (00:20 +0000)
committerAnna Zaks <ganna@apple.com>
Sat, 29 Sep 2012 00:20:38 +0000 (00:20 +0000)
commit31f69cc770888ec0f0f7012212e5df7979aba4f3
treeac9686da14f5870509c2aace442c00b2618dd2a9tree | snapshot
parentef4d5ced04bf0b3d987e6b0e931f43125492f50ccommit | diff
[analyzer] Re-implement IvarInvalidationChecker so that it verifies that
the validation occurred.

The original implementation was pessimistic - we assumed that ivars
which escape are invalidated. This version is optimistic, it assumes
that the ivars will always be explicitly invalidated: either set to nil
or sent an invalidation message.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164868 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/IvarInvalidationChecker.cpp diff | blob | history
test/Analysis/objc_invalidation.m diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.