projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3683dd) | patch
[analyzer] Add experimental ObjC invalidation method checker.
authorAnna Zaks <ganna@apple.com>
Wed, 26 Sep 2012 18:55:16 +0000 (18:55 +0000)
committerAnna Zaks <ganna@apple.com>
Wed, 26 Sep 2012 18:55:16 +0000 (18:55 +0000)
commit9802f9fb2a64df1c27251a3284394c2748122128
tree30faefd24aba546982800511ea92677ea5f6d169tree | snapshot
parenta3683dd69e44e1800c236c08f9cb43b4e79435f3commit | diff
[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")).

llvm-svn: 164716
clang/lib/Sema/SemaObjCProperty.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt diff | blob | history
clang/lib/StaticAnalyzer/Checkers/Checkers.td diff | blob | history
clang/lib/StaticAnalyzer/Checkers/IvarInvalidationChecker.cpp [new file with mode: 0644] blob
clang/test/Analysis/objc_invalidation.m [new file with mode: 0644] blob
Domain: System / Toolchain;