commit 500f49fe258ae0564cb9b33b1abb539565e9b7ab
author Zhongxing Xu <xuzhongxing@gmail.com> Mon Feb 08 09:30:02 2010 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Mon Feb 08 09:30:02 2010 +0000
tree a4a2a16d145400a8d50f9eaf3ffb253c419176a0
parent c5f825eacd5c667007881dd649a281534d300356

Rename: GRState::getSVal(Stmt*) => getExprVal(),
        GRState::getSVal(MemRegion*) => Load().

llvm-svn: 95541

clang/lib/Checker/DivZeroChecker.cpp

diff --git a/clang/lib/Checker/DivZeroChecker.cpp b/clang/lib/Checker/DivZeroChecker.cpp
index e1346e1..39fdeaba 100644
--- a/clang/lib/Checker/DivZeroChecker.cpp
+++ b/clang/lib/Checker/DivZeroChecker.cpp
@@ -49,7 +49,7 @@
       !B->getRHS()->getType()->isScalarType())
     return;
 
-  SVal Denom = C.getState()->getSVal(B->getRHS());
+  SVal Denom = C.getState()->getExprVal(B->getRHS());
   const DefinedSVal *DV = dyn_cast<DefinedSVal>(&Denom);
 
   // Divide-by-undefined handled in the generic checking for uses of