[cfe-dev] Allowing checkers to mark symbols as live

[Ted Kremenek]

On Aug 9, 2010, at 12:31 PM, Jordy Rose wrote:

> I guess it wasn't as simple as I thought! One possibility would be to
> either change SymbolExtent or add a new symbol with path-sensitive fields
> like SymbolConjured. Would that be a better solution here?

I could have overlooked something here, but my impression is that I don't think any of this is needed.