[cfe-dev] Proposed: change tracking for RegionStore

[Ted Kremenek]

On Aug 9, 2010, at 3:50 PM, Jordy Rose wrote:

> Right. I was uneasy about this, but I think it actually ought to stay.
> Why? Any region invalidation should be picked up by the checkers
> eventually, or we have a correctness problem. (It's /because/ invalidating
> a set of regions might touch other regions that this is necessary -- even
> an internal use has no guarantee of a controlled invalidation.)
> 
> If you think it's necessary, I'll change it, but I think it may actually
> be needed now.<CStringChecker.cpp>

With the reference, it just seems like we must pay the cost of this every time we use InvalidateRegions.  If there are no checkers that consume this information, we always pay the cost.  That's the reason why InvalidatedSymbols is a pointer.