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

[Ted Kremenek]

On Aug 9, 2010, at 6:16 PM, Jordy Rose wrote:

> We could restrict constraint-clearing to these region metadata symbols,
> since they don't have a way to be replaced. But it still feels odd.
> 
> I'll keep going in this direction for now

You've convinced me that this isn't the right solution on its own; we should keep symbols as being immutable values.