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

[Jordy Rose]

Right. We need to document out that markInUse() should only be used during
MarkLiveSymbols() (rename?), isDead() should only be used by checkers
during EvalDeadSymbols(), and markLive() should never be used by checkers,
ever.


On Wed, 11 Aug 2010 17:19:39 -0700, Ted Kremenek <kremenek at apple.com>
wrote:
> 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