2012/9/27 Anna Zaks <[email protected]>: > 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 _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
