diff options
Diffstat (limited to 'lib/Checker/BugReporter.cpp')
-rw-r--r-- | lib/Checker/BugReporter.cpp | 4 |
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; |