<br><br><div class="gmail_quote">On Mon, May 31, 2010 at 6:17 AM, Jordy Rose <span dir="ltr"><<a href="mailto:jediknil@belkadan.com">jediknil@belkadan.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<br>
On Sun, 30 May 2010 14:56:02 -0700, Ted Kremenek <<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>><br>
wrote:<br>
<div class="im">> On May 28, 2010, at 5:11 PM, Jordy Rose wrote:<br>
><br>
>> I'm not entirely happy with the replacement of *p with p[0] in<br>
>> GRExprEngine, but that seems to be the last place where you can tell<br>
the<br>
>> difference between a binding to p and a binding to p[0].<br>
><br>
> How are they semantically different?  The StoreManager cares about the<br>
> semantics of the operation, and not how it was written.  For that we can<br>
go<br>
> back to the AST.<br>
<br>
</div>Well, PR7218 is about confusing a direct binding to p[0] as a direct<br>
binding for the entire p-region when looking up p[1], since RegionBindings<br>
stores them the same way. If element super regions can have direct<br>
bindings, and they look the same as element bindings, then it's important<br>
to distinguish the two.<br></blockquote><div><br>This is a problem of the current BindingKey design, which is supposed to be fixed in another "flat" store model. Fortunately this problem hasn't caused much trouble until now.<br>
 </div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<br>
(Also, thanks for the explanation about LazyCompoundVal.)<br>
</blockquote></div><br><br>