From: Ted Kremenek Date: Sat, 15 Nov 2008 05:00:27 +0000 (+0000) Subject: Reduce permissiveness of assertion. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=0fb7c61b14e70920ec7f2b848bf27a06cbe52f20;p=clang Reduce permissiveness of assertion. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59354 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 3383cdb519..55fbf1874a 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;