diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-28 08:34:30 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-28 08:34:30 +0000 |
| commit | d5b499d43c3526fae7f9ebb6e2d50e79d3496ced (patch) | |
| tree | bccf5a77db4bd522357eea62f3e11377e6f2689c /lib/Analysis/GRExprEngine.cpp | |
| parent | 353cbe134cbc1df8075790c7a90056a54c711968 (diff) | |
Code cleanup. No functional change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60206 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 8 |
1 files 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<Loc>(location), - Ex->getType())), K); + else { + SVal V = GetSVal(St, cast<Loc>(location), Ex->getType()); + MakeNode(Dst, Ex, Pred, BindExpr(St, Ex, V), K); + } } void GRExprEngine::EvalStore(NodeSet& Dst, Expr* Ex, Expr* StoreE, NodeTy* Pred, |