diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-08 09:30:02 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-08 09:30:02 +0000 |
commit | 500f49fe258ae0564cb9b33b1abb539565e9b7ab (patch) | |
tree | a4a2a16d145400a8d50f9eaf3ffb253c419176a0 /clang/lib/Checker/BugReporter.cpp | |
parent | c5f825eacd5c667007881dd649a281534d300356 (diff) | |
download | bcm5719-llvm-500f49fe258ae0564cb9b33b1abb539565e9b7ab.tar.gz bcm5719-llvm-500f49fe258ae0564cb9b33b1abb539565e9b7ab.zip |
Rename: GRState::getSVal(Stmt*) => getExprVal(),
GRState::getSVal(MemRegion*) => Load().
llvm-svn: 95541
Diffstat (limited to 'clang/lib/Checker/BugReporter.cpp')
-rw-r--r-- | clang/lib/Checker/BugReporter.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Checker/BugReporter.cpp b/clang/lib/Checker/BugReporter.cpp index 0cf593b2600..34d05f995bf 100644 --- a/clang/lib/Checker/BugReporter.cpp +++ b/clang/lib/Checker/BugReporter.cpp @@ -350,7 +350,7 @@ GetMostRecentVarDeclBinding(const ExplodedNode* N, if (!DR) continue; - SVal Y = N->getState()->getSVal(DR); + SVal Y = N->getState()->getExprVal(DR); if (X != Y) continue; @@ -394,7 +394,7 @@ public: return true; // Check if the previous state has this binding. - SVal X = PrevSt->getSVal(loc::MemRegionVal(R)); + SVal X = PrevSt->Load(loc::MemRegionVal(R)); if (X == V) // Same binding? return true; |