[cfe-commits] [PATCH] A tentative implementation of RegionStoreManager

[Zhongxing Xu]

A modified patch. Fixed a minor bug. Please discard the former one.

On Sun, Oct 5, 2008 at 9:58 PM, Zhongxing Xu <xuzhongxing at gmail.com> wrote:

> This patch implements part of RegionStoreManager. Only SetRVal() and
> getInitialStore() method is implemented.
> The store model is implemented as a map from Region* to RVal.
> Global and parameter pointers are assumed to point to an AnonTypedRegion
> initially, which resides in a new Unknown MemSpaceRegion. Is this
> reasonable?
> A new field 'PointedBy' is added to AnonTypedRegion, which represents the
> pointer variable that points to this region. Can we have a better name for
> it? Later we have to have more information to differentiate AnonTypedRegion.
> For example, how to differentiate heap objects created at the same program
> point along different paths?
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081005/a5335b94/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: regionstore.patch
Type: application/octet-stream
Size: 8660 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081005/a5335b94/attachment.obj>