diff options
author | Anna Zaks <ganna@apple.com> | 2012-09-29 00:20:38 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2012-09-29 00:20:38 +0000 |
commit | 31f69cc770888ec0f0f7012212e5df7979aba4f3 (patch) | |
tree | ac9686da14f5870509c2aace442c00b2618dd2a9 /include/clang/Basic/Module.h | |
parent | ef4d5ced04bf0b3d987e6b0e931f43125492f50c (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
Diffstat (limited to 'include/clang/Basic/Module.h')
0 files changed, 0 insertions, 0 deletions