diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-11-15 05:00:27 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-11-15 05:00:27 +0000 |
| commit | 0fb7c61b14e70920ec7f2b848bf27a06cbe52f20 (patch) | |
| tree | 11838e8be8996dc60c08b92009f2c44b986230bf /lib/Analysis/GRExprEngine.cpp | |
| parent | 0501e22c0790464d82d958628fc903dac4eba71d (diff) | |
Reduce permissiveness of assertion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59354 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
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; |