[cfe-dev] CFRefCount Problem #2: Region Invalidation
Ted Kremenek
kremenek at apple.com
Sat Aug 27 15:19:20 PDT 2011
On Aug 27, 2011, at 3:11 PM, Jordy Rose wrote:
>
> On Aug 27, 2011, at 14:32, Jordy Rose wrote:
>
>> P.S. I just realized that NewExprs are not implemented in terms of ConstructExprs. If they were, it would make things easier. I don't really want to add NewExprs to CallOrObjCMessage too! Guess that's a new patch to work on, in a completely different part of the system.
>
> Uh, combining NewExprs and ConstructExprs doesn't seem to actually make sense outside of the analyzer. Oh well.
>
> OTOH, there are /no/ pre- or post-statement hooks for NewExprs right now, so to even get a stop-tracking result for arguments to NewExprs we either need to add a callback or include an Expr or ProgramPoint in checkRegionChanges.
Great observation. I suggest we table this issue for now so we can continue to make progress. Let's file a PR and tackle it in later in follow-up. I think we should make progress on the core retain/release checker changes first. What do you think?
More information about the cfe-dev
mailing list