<div dir="ltr">A modified patch. Fixed a minor bug. Please discard the former one.<br><br><div class="gmail_quote">On Sun, Oct 5, 2008 at 9:58 PM, Zhongxing Xu <span dir="ltr"><<a href="mailto:xuzhongxing@gmail.com">xuzhongxing@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div dir="ltr">This patch implements part of RegionStoreManager. Only SetRVal() and getInitialStore() method is implemented.<br>
The store model is implemented as a map from Region* to RVal.<br>Global and parameter pointers are assumed to point to an AnonTypedRegion initially, which resides in a new Unknown MemSpaceRegion. Is this reasonable?<br>
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?<br>

</div>
</blockquote></div><br></div>