<br><br><div class="gmail_quote">On Sat, Oct 25, 2008 at 5:10 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;">
Author: kremenek<br>
Date: Fri Oct 24 16:10:49 2008<br>
New Revision: 58110<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=58110&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=58110&view=rev</a><br>
Log:<br>
Implicit conversions from arrays can also be conversions to references (will add a test case shortly).</blockquote><div><br>Hi Ted,<br><br>Could you please point me to the test cast for this? Thanks.<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
<br>
Modified:<br>
    cfe/trunk/lib/Analysis/GRExprEngine.cpp<br>
<br>
Modified: cfe/trunk/lib/Analysis/GRExprEngine.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRExprEngine.cpp?rev=58110&r1=58109&r2=58110&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRExprEngine.cpp?rev=58110&r1=58109&r2=58110&view=diff</a><br>

<br>
==============================================================================<br>
--- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)<br>
+++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Fri Oct 24 16:10:49 2008<br>
@@ -1507,7 +1507,7 @@<br>
<br>
     // StoreManager casts array to different values.<br>
     if (ExTy->isArrayType()) {<br>
-      assert(T->isPointerType());<br>
+      assert(T->isPointerType() || T->isReferenceType());<br>
<br>
       V = StateMgr.ArrayToPointer(V);<br>
       MakeNode(Dst, CastE, N, SetSVal(St, CastE, V));<br>
<br>
<br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
</blockquote></div><br>