<br><br><div class="gmail_quote">On Thu, Oct 23, 2008 at 12:07 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;">
Looks great Zhongxing.  Just one comment (inline).<div class="Ih2E3d"><br>
<br>
On Oct 22, 2008, at 8:10 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;">
--- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)<br>
+++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Wed Oct 22 22:10:39 2008<br>
@@ -1503,9 +1503,15 @@<br>
        MakeNode(Dst, CastE, N, SetSVal(St, CastE, V));<br>
        continue;<br>
      }<br>
-<br>
+<br>
+    // StoreManager casts array to different values.<br>
+    if (ExTy->isArrayType()) {<br>
</blockquote>
<br></div>
Should we put an assertion here that the CastE->getType() is a pointer?<div><div></div><div class="Wj3C7c"></div></div></blockquote><div><br>Added.<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><div class="Wj3C7c"><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>
+      V = StateMgr.ArrayToPointer(V);<br>
+      MakeNode(Dst, CastE, N, SetSVal(St, CastE, V));<br>
+      continue;<br>
+    }<br>
+<br>
    // All other cases.<br>
</blockquote>
<br>
</div></div></blockquote></div><br>