Author: kremenek
Date: Fri Nov 14 23:00:27 2008
New Revision: 59354
URL: http://llvm.org/viewvc/llvm-project?rev=59354&view=rev
Log:
Reduce permissiveness of assertion.
Modified:
cfe/trunk/lib/Analysis/GRExprEngine.cpp
Modified: cfe/trunk/lib/Analysis/GRExprEngine.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRExprEngine.cpp?rev=59354&r1=59353&r2=59354&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Fri Nov 14 23:00:27 2008
@@ -1686,8 +1686,7 @@
// 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;
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
