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

[Jordy Rose]

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