aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/BugReporter.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Checker/BugReporter.cpp')
-rw-r--r--lib/Checker/BugReporter.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Checker/BugReporter.cpp b/lib/Checker/BugReporter.cpp
index 0cf593b260..34d05f995b 100644
--- a/lib/Checker/BugReporter.cpp
+++ b/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;