On May 12, 2009, at 3:10 AM, Zhongxing Xu wrote:
> +++ cfe/trunk/include/clang/Analysis/PathSensitive/Store.h Tue May
> 12 05:10:00 2009
> @@ -161,6 +161,11 @@
> return St;
> }
>
> + virtual const GRState* setDefaultValue(const GRState* St,
> + const MemRegion* R, SVal
> V) {
> + return St;
> + }
> +
Hi Zhongxing,
I noticed the addition of this method to StoreManager, but I don't
quite know what it does. Could you add some comments? I see it used
later, but I cannot quite evaluate the approach without a little more
context. Thanks!
Ted
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
