]> granicus.if.org Git - clang/commitdiff
Reduce permissiveness of assertion.
authorTed Kremenek <kremenek@apple.com>
Sat, 15 Nov 2008 05:00:27 +0000 (05:00 +0000)
committerTed Kremenek <kremenek@apple.com>
Sat, 15 Nov 2008 05:00:27 +0000 (05:00 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59354 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/GRExprEngine.cpp

index 3383cdb519411e50f605361b9fc5ae0af23ca282..55fbf1874a5fc45d799b9e8a0a0b41ffee56e6ad 100644 (file)
@@ -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;