]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2316db) | patch
[analyzer] Allow IvarInvalidation checker to suppress warnings via
authorAnna Zaks <ganna@apple.com>
Thu, 10 Jan 2013 23:34:16 +0000 (23:34 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 10 Jan 2013 23:34:16 +0000 (23:34 +0000)
commit6503255e4fa0689f427b3b798180fceac29c98c2
tree1c27ff899fb091d9d131e5ddaf6b52d97b14738etree | snapshot
parentc2316db5decd9cb7f8768ca67fad41fd8cffc110commit | diff
[analyzer] Allow IvarInvalidation checker to suppress warnings via
assertions.

To ensure that custom assertions/conditional would also be supported,
just check if the ivar that needs to be invalidated or set to nil is
compared against 0.

Unfortunately, this will not work for code containing 'assert(IvarName)'

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@172147 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.