[cfe-commits] [analyzer] Patch to stop tracking symbols based on a retain count summary of inlined function

[Anna Zaks]

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.

Submitting as a patch per Jordan's request.

Anna.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Retain_Count_Stop_Tracking_Even_If_Inlined.diff
Type: application/octet-stream
Size: 14012 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20120820/d3163152/attachment.obj>