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

Jordy Rose jediknil at belkadan.com
Sun Aug 8 13:20:49 PDT 2010


The last bit of infrastructure I'd like to add for CStringChecker: the
ability for checkers to mark symbols live. This lets checkers use conjured
symbols for data that lives in the GDM, rather than in the store. This
doesn't affect EvalDeadSymbols.

I think it's pretty straightforward, but since it's another new callback I
figured it was worth waiting for comments before committing. (When we work
out a general mechanism for checker caching we can make this a cached
callback.)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: MarkLiveSymbols.patch
Type: text/x-diff
Size: 2060 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20100808/0a6a0df7/attachment.patch>


More information about the cfe-dev mailing list