[cfe-dev] CFRefCount Problem #1: Receiver Aliasing

[Ted Kremenek]

Sounds great!

Sent from my iPad

On Aug 21, 2011, at 11:07 AM, Jordy Rose <jediknil at belkadan.com> wrote:

> 
> On Aug 21, 2011, at 10:47, Ted Kremenek wrote:
> 
>> On Aug 20, 2011, at 1:11 AM, Jordy Rose <jediknil at belkadan.com> wrote:
>> 
>>> Pretty much all remaining handling of Obj-C method calls can be done using a standard preMessage or postMessage callback.
>> 
>> To be clear, -retain etc. still need to be handled; we just don't need to handle the aliasing part in the checker.
> 
> 
> Of course; anything related to /tracking/ retain counts stays in RetainReleaseChecker.
> 
> Okay, I'll go ahead with moving the alias-handling for -retain and -autorelease to ExprEngineObjC.
> 
> Jordy