diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 3383cdb519411e50f605361b9fc5ae0af23ca282..55fbf1874a5fc45d799b9e8a0a0b41ffee56e6ad 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -1686,8 +1686,7 @@ void GRExprEngine::VisitCast(Expr* CastE, Expr* Ex, NodeTy* Pred, NodeSet& Dst){ // Check for casts from array type to pointer type. if (ExTy->isArrayType()) { - assert(T->isPointerType() || T->isReferenceType()); - + assert(T->isPointerType()); V = StateMgr.ArrayToPointer(V); MakeNode(Dst, CastE, N, BindExpr(St, CastE, V)); continue;