[cfe-commits] [PATCH] Set region size in GRRegionVals transfer function

[Ted Kremenek]

On Nov 5, 2008, at 5:24 PM, Zhongxing Xu wrote:

> Thoughts?
>
> Ted
>
> Sounds reasonable! I remember that there was RegionExtent code.  
> Maybe we should pick it up.

Right; I scribbled some code for that, but never really implemented  
anything real.  I think we just need to establish a "taxonomy" of  
extents/sizes, and decide if we need a variant like RegionExtent or  
can just use SVals.

> Do you think using the GDM to associate regions with their extents  
> is the right approach?

Absolutely.  That's the perfect place to put any other data that won't  
fit into the current fields of Store/Environment/GRState.  Such uses  
of the GDM, however, should probably be handled by each specific  
implementation of StoreManager.  This nicely abstracts away the  
details from clients, and doesn't place artificial requirements on the  
particular implementation of a StoreManager.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081105/0d35b838/attachment.html>