[cfe-commits] r71548 - in /cfe/trunk: include/clang/Analysis/PathSensitive/MemRegion.h include/clang/Analysis/PathSensitive/SVals.h include/clang/Analysis/PathSensitive/Store.h lib/Analysis/CFRefCount.cpp lib/Analysis/RegionStore.cpp lib/Analysis/SVals.cpp test/Analysis/array-struct.c

[Ted Kremenek]

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