[cfe-commits] r164716 - in /cfe/trunk: lib/Sema/SemaObjCProperty.cpp lib/StaticAnalyzer/Checkers/CMakeLists.txt lib/StaticAnalyzer/Checkers/Checkers.td lib/StaticAnalyzer/Checkers/IvarInvalidationChecker.cpp test/Analysis/objc_invalidation.m

[NAKAMURA Takumi]

2012/9/27 Anna Zaks <ganna at apple.com>:
> Author: zaks
> Date: Wed Sep 26 13:55:16 2012
> New Revision: 164716
>
> URL: http://llvm.org/viewvc/llvm-project?rev=164716&view=rev
> Log:
> [analyzer] Add experimental ObjC invalidation method checker.
>
> This checker is annotation driven. It checks that the annotated
> invalidation method accesses all ivars of the enclosing objects that are
> objects of type, which in turn contains an invalidation method.
>
> This is driven by
> __attribute((annotation("objc_instance_variable_invalidator")).

> Added: cfe/trunk/lib/StaticAnalyzer/Checkers/IvarInvalidationChecker.cpp
> URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/IvarInvalidationChecker.cpp?rev=164716&view=auto

> +  class MethodCrawler : public ConstStmtVisitor<MethodCrawler> {
> +    const ObjCInterfaceDecl *InterfD;

Anna, I removed InterfD in r164745 due to [-Wunused-private-field].

...Takumi