diff options
Diffstat (limited to 'lib/Checker/DivZeroChecker.cpp')
| -rw-r--r-- | lib/Checker/DivZeroChecker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Checker/DivZeroChecker.cpp b/lib/Checker/DivZeroChecker.cpp index 39fdeaba2b..e1346e11b6 100644 --- a/lib/Checker/DivZeroChecker.cpp +++ b/lib/Checker/DivZeroChecker.cpp @@ -49,7 +49,7 @@ void DivZeroChecker::PreVisitBinaryOperator(CheckerContext &C, !B->getRHS()->getType()->isScalarType()) return; - SVal Denom = C.getState()->getExprVal(B->getRHS()); + SVal Denom = C.getState()->getSVal(B->getRHS()); const DefinedSVal *DV = dyn_cast<DefinedSVal>(&Denom); // Divide-by-undefined handled in the generic checking for uses of |