<br><br><div class="gmail_quote">On Mon, Nov 3, 2008 at 12:50 PM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.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 class="Ih2E3d">On Nov 2, 2008, at 8:12 PM, Zhongxing Xu wrote:<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
- Remove AnonTypedRegion, which is not to be used.<br>
</blockquote>
<br></div>
Hi Zhongxing,<br>
<br>
I actually do think that there will be uses of this; I'm not certain why you removed it.  What's your reasoning?  My idea for AnonTypedRegion was to actually assigning type information to a previously untyped array of bytes.  For example:<br>

<br>
int* p = (int*) alloca(20 * sizeof(int));<br>
<br>
In this case alloc returns an AllocaRegion (which has no type information).  The cast essentially layers a region on top of it, which is what AnonTypedRegion was intended to be used for.</blockquote><div><br>I added  before to let AnonPointeeRegion
to subclass it. Now I find AnonPointeeRegion can get its type from its
VarDecl, so I removed it because it's not used in other places. Feel free to add it when you use it.<br> 
<br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br>
<br>
I guess in general we should only add regions once we have a specific need for them.  This actually justifies removing AnonTypedRegion (at least for now), but honestly I was just about to use it.<br>
<br>
We should also probably start putting Store-specific regions in BasicStore.cpp. RegionStore.cpp, etc. if we can.<br><font color="#888888">
</font></blockquote><div><br>Agree. <br></div></div><br>