[cfe-commits] [PATCH] Set region size in GRRegionVals transfer function
kremenek at apple.com
Wed Nov 5 17:33:39 PST 2008
On Nov 5, 2008, at 5:24 PM, Zhongxing Xu wrote:
> 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...
More information about the cfe-commits