<br><br><div class="gmail_quote">On Fri, Nov 7, 2008 at 2:01 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><div></div><div class="Wj3C7c"><br><br><div class="gmail_quote">On Fri, Nov 7, 2008 at 1:54 PM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com" target="_blank">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><br>
On Nov 6, 2008, at 9:45 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;">
I actually don't think a hybrid approach is not all that difficult to implement.<br>
<br>
 Do you mean " ... don't think ... is all that difficult ...", since two negation imply no negation.<br>
</blockquote>
<br></div>
Yes.<div><br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
<br>
A switch statement on the kind of a region should be enough to determine when we can determine the extent of a region simply from the MemRegion object itself or we need to look in a side map.<br>
<br>
I like (b1), too. Then we have a clear direction to go now. Thanks!<br>
</blockquote>
<br></div>
Great.<br>
</blockquote></div><br></div></div>Also I think we should have a clear client for the extent before/when we implement the extent mechanism. One direct client is the array element access checker. It should be in the EvalLocation() method to check if the array access is out of bound. But not all store manager support this check. Shall we make a new transfer function to do this check?<br>

</blockquote></div><br>So I feel these are what we should do:<br>1. overhaul the transfer function interface.<br>2. add specific checker (e.g. array bound checker) that will use the region extent property.<br>3. implement the region extent interface.<br>