[cfe-commits] r58030 - /cfe/trunk/lib/Analysis/GRExprEngine.cpp

[Zhongxing Xu]

Author: zhongxingxu
Date: Wed Oct 22 23:19:25 2008
New Revision: 58030

URL: http://llvm.org/viewvc/llvm-project?rev=58030&view=rev
Log:
Add an assertion to make our intention more clear.

Modified:
    cfe/trunk/lib/Analysis/GRExprEngine.cpp

Modified: cfe/trunk/lib/Analysis/GRExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRExprEngine.cpp?rev=58030&r1=58029&r2=58030&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Wed Oct 22 23:19:25 2008
@@ -1506,6 +1506,8 @@
 
     // StoreManager casts array to different values.
     if (ExTy->isArrayType()) {
+      assert(T->isPointerType());
+
       V = StateMgr.ArrayToPointer(V);
       MakeNode(Dst, CastE, N, SetSVal(St, CastE, V));
       continue;