[cfe-dev] Proposed: change tracking for RegionStore

[Ted Kremenek]

On Aug 1, 2010, at 7:27 PM, Zhongxing Xu wrote:

>> That's a good idea. I'd be a little worried transferring from one
>> GRExprEngine to the next during far inline calls, but I guess that can wait
>> until there's more support for that. (Plenty of checkers, for example,
>> assume the ASTContext doesn't change between invocations.) And I assume
>> these callbacks would happen at the end of the StoreManager public
>> interface methods.
> 
> We should try to make more components ASTContext agnostic.

Agreed.