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

[Zhongxing Xu]

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/a08cd0d2/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: regionstore.patch
Type: application/octet-stream
Size: 8485 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081005/a08cd0d2/attachment.obj>