From d5b499d43c3526fae7f9ebb6e2d50e79d3496ced Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Fri, 28 Nov 2008 08:34:30 +0000 Subject: [PATCH] Code cleanup. No functional change. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60206 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/GRExprEngine.cpp | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 7c34fb91d2..ee6b020240 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -982,6 +982,7 @@ void GRExprEngine::EvalLoad(NodeSet& Dst, Expr* Ex, NodeTy* Pred, // FIXME: The "CheckOnly" option exists only because Array and Field // loads aren't fully implemented. Eventually this option will go away. + assert(!CheckOnly); if (CheckOnly) MakeNode(Dst, Ex, Pred, St, K); @@ -989,9 +990,10 @@ void GRExprEngine::EvalLoad(NodeSet& Dst, Expr* Ex, NodeTy* Pred, // This is important. We must nuke the old binding. MakeNode(Dst, Ex, Pred, BindExpr(St, Ex, UnknownVal()), K); } - else - MakeNode(Dst, Ex, Pred, BindExpr(St, Ex, GetSVal(St, cast(location), - Ex->getType())), K); + else { + SVal V = GetSVal(St, cast(location), Ex->getType()); + MakeNode(Dst, Ex, Pred, BindExpr(St, Ex, V), K); + } } void GRExprEngine::EvalStore(NodeSet& Dst, Expr* Ex, Expr* StoreE, NodeTy* Pred, -- 2.40.0