<div dir="ltr">Applied.<br><br><div class="gmail_quote">On Thu, Oct 16, 2008 at 12:41 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;">
I think we'll continue to iterate on the details, but I think this is a great first step. Please apply.<div><div></div><div class="Wj3C7c"><br>
<br>
On Oct 15, 2008, at 7:12 AM, Zhongxing Xu wrote:<br>
<br>
</div></div><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">
New patch attached. This is the first step to convert to rvalue/lvalue evaluation in GRExprEngine.<br>
Some planned things are:<br>
1. Renaming lval -> loc, nonlval -> nonloc<br>
2. Initial implementation for field sensitive store for RegionStore.<br>
3. Replace ArrayOffset FieldOffset to some region value.<br></div></div>
<lvalue.patch><br>
</blockquote>
<br>
</blockquote></div><br></div>