commit 9c4bc9dd3331be6dbd0f90b2fb54503315a6de81
author Zhongxing Xu <xuzhongxing@gmail.com> Thu Oct 23 04:19:25 2008 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Thu Oct 23 04:19:25 2008 +0000
tree 1440cd6b38af6631cb3a494b87197d30918faf65
parent 01bef3c016c54e6d1bf3e0812b7194058ebcc128

Add an assertion to make our intention more clear.

llvm-svn: 58030

clang/lib/Analysis/GRExprEngine.cpp

diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp
index 4d771fb..cbda7be 100644
--- a/clang/lib/Analysis/GRExprEngine.cpp
+++ b/clang/lib/Analysis/GRExprEngine.cpp
@@ -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;