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

[Ted Kremenek]

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

> Okay, hang on a second. The only methods that are receiver-aliasing are -retain and -autorelease (and technically, -self and -init). We have method families now. Can we just make ExprEngineObjC reason about method families to handle receiver aliasing for these four methods?

I was thinking the same thing.  These methods are pretty much baked into the language at this point, so having ExprEngineObjC reason about them isn't unreasonable.  This also unblocks us without needing to solve the general problem.