<br><br><div class="gmail_quote">On Thu, Nov 6, 2008 at 9:33 AM, 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 style=""><br><div><div class="Ih2E3d"><div>On Nov 5, 2008, at 5:24 PM, Zhongxing Xu wrote:</div><br><blockquote type="cite"><span style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 14px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Thoughts?<br><font color="#888888"><br>Ted</font></blockquote><div><br>Sounds reasonable! I remember that there was RegionExtent code. Maybe we should pick it up.<span> </span></div></span></blockquote><div><br></div></div>
<div>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.</div>
</div></div></blockquote><div><br>I think we can use SVals for now and extend to a RegionExtent class when necessary.<br><br>Another thing to discuss: what units shall we choose for representing extent? In bits, bytes, or element numbers? For array bounds checking, element numbers are the most direct. What other clients care about the extents?<br>
 </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div style=""><div><div></div><div class="Ih2E3d"><div><br></div><blockquote type="cite">
<span style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 14px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;"><div>
Do you think using the GDM to associate regions with their extents is the right approach?<br></div></span></blockquote></div></div><br><div>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.</div>
</div></blockquote></div><br>