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

[Ted Kremenek]

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

>
> Sounds reasonable! I remember that there was RegionExtent code.  
> Maybe we should pick it up.
>
> Do you think using the GDM to associate regions with their extents  
> is the right approach?
>
> Adding an Extent field to MemRegion is simpler but not as versatile.

Yeah, that was my feeling when I was writing some prototype code for  
extents a while back.  Putting the interface in the StoreManager seems  
like a simple and highly flexible solution.