[cfe-dev] Symbolic Extents

[Ted Kremenek]

On Jun 30, 2010, at 11:00 PM, Jordy Rose wrote:

> Can we make the current statement a SymbolReaper ivar? We're already
> creating one per statement in GRExprEngine, and we pass the statement
> around to most -- but not quite all -- of the dead-symbol-clearing code, so
> it's not much functional difference. And it would let us take /out/ the Loc
> parameter from the other isLive() methods. 

Certainly.  That makes sense to me.