diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-04 04:56:43 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-04 04:56:43 +0000 |
commit | 814e6b915450456eb2a1ba15d82fc7f8ae3bc8a6 (patch) | |
tree | d4819d94b43ad6c17557708a74891c284561befe /lib/Checker/AdjustedReturnValueChecker.cpp | |
parent | 95a011204fec58cc5dbc4f4a9830a8f0435c4b72 (diff) |
Cast evaluation no longer touch GRState.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95290 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/AdjustedReturnValueChecker.cpp')
-rw-r--r-- | lib/Checker/AdjustedReturnValueChecker.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/Checker/AdjustedReturnValueChecker.cpp b/lib/Checker/AdjustedReturnValueChecker.cpp index 483b41b6bd..e95a86b838 100644 --- a/lib/Checker/AdjustedReturnValueChecker.cpp +++ b/lib/Checker/AdjustedReturnValueChecker.cpp @@ -50,6 +50,7 @@ void AdjustedReturnValueChecker::PostVisitCallExpr(CheckerContext &C, const GRState *state = C.getState(); SVal V = state->getSVal(CE); + if (V.isUnknown()) return; @@ -91,7 +92,7 @@ void AdjustedReturnValueChecker::PostVisitCallExpr(CheckerContext &C, // FIXME: Do more checking and actual emit an error. At least performing // the cast avoids some assertion failures elsewhere. SValuator &SVator = C.getSValuator(); - const SValuator::CastResult &R = SVator.EvalCast(V, state, expectedResultTy, actualResultTy); - C.GenerateNode(R.getState()->BindExpr(CE, R.getSVal())); + V = SVator.EvalCast(V, expectedResultTy, actualResultTy); + C.GenerateNode(state->BindExpr(CE, V)); } } |