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