diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index acfd7a1..b88b80c 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -1507,7 +1507,7 @@
 
     // StoreManager casts array to different values.
     if (ExTy->isArrayType()) {
-      assert(T->isPointerType());
+      assert(T->isPointerType() || T->isReferenceType());
 
       V = StateMgr.ArrayToPointer(V);
       MakeNode(Dst, CastE, N, SetSVal(St, CastE, V));