aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/AdjustedReturnValueChecker.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Checker/AdjustedReturnValueChecker.cpp')
-rw-r--r--lib/Checker/AdjustedReturnValueChecker.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Checker/AdjustedReturnValueChecker.cpp b/lib/Checker/AdjustedReturnValueChecker.cpp
index 3abaa5f33f..e95a86b838 100644
--- a/lib/Checker/AdjustedReturnValueChecker.cpp
+++ b/lib/Checker/AdjustedReturnValueChecker.cpp
@@ -49,7 +49,7 @@ void AdjustedReturnValueChecker::PostVisitCallExpr(CheckerContext &C,
// Fetch the signature of the called function.
const GRState *state = C.getState();
- SVal V = state->getExprVal(CE);
+ SVal V = state->getSVal(CE);
if (V.isUnknown())
return;
@@ -60,7 +60,7 @@ void AdjustedReturnValueChecker::PostVisitCallExpr(CheckerContext &C,
return;
}
- const MemRegion *callee = state->getExprVal(CE->getCallee()).getAsRegion();
+ const MemRegion *callee = state->getSVal(CE->getCallee()).getAsRegion();
if (!callee)
return;