]> granicus.if.org Git - clang/commit
[analyzer] Stop tracking symbols based on a retain count summary of
authorAnna Zaks <ganna@apple.com>
Wed, 29 Aug 2012 23:23:43 +0000 (23:23 +0000)
committerAnna Zaks <ganna@apple.com>
Wed, 29 Aug 2012 23:23:43 +0000 (23:23 +0000)
commit554067f290282f366ccf65a27e0b914aa67a52c6
tree912b29b636af191bf73e7d222f29cb5ad4bba97e
parent28694c1fe44082970cd53ca7ffef25f668e4c545
[analyzer] Stop tracking symbols based on a retain count summary of
inlined function.

This resolves retain count checker false positives that are caused by
inlining ObjC and other methods. Essentially, if we are passing an
object to a method with "delegate" in the selector or a function pointer
as another argument, we should stop tracking the other parameters/return
value as far as the retain count checker is concerned.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162876 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
test/Analysis/inlining/RetainCountExamples.m