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

[Ted Kremenek]

Oh I see why this is used.  I'm mixed on this API, since it is only safe to call this after we have crawled all the symbols (i.e., when we are pruning the already scanned state).

On Aug 11, 2010, at 5:12 PM, Ted Kremenek wrote:

> 
> On Aug 11, 2010, at 12:06 AM, Zhongxing Xu wrote:
> 
>> +  bool isDead(SymbolRef sym) const {
>> +    return TheDead.count(sym);
>> +  }
>> };
> 
> This isn't quite right.  isDead() should just be the negative of 'isLive()'.
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev