commit ae01dc73afdf0825a03f4627b86bad2ff8d29d2e
author Ted Kremenek <kremenek@apple.com> Tue Jun 23 17:55:07 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Tue Jun 23 17:55:07 2009 +0000
tree 5b032849dcf8a9c12e76591603b86ef61c3a4d27
parent b45cebabc92a479f984f2ffe20dfdb23502d1b96

API cleanup: move more methods from GRStateManager to GRState.

llvm-svn: 73968

clang/lib/Analysis/BugReporter.cpp

diff --git a/clang/lib/Analysis/BugReporter.cpp b/clang/lib/Analysis/BugReporter.cpp
index 5dbbfc3..9c9029c 100644
--- a/clang/lib/Analysis/BugReporter.cpp
+++ b/clang/lib/Analysis/BugReporter.cpp
@@ -380,7 +380,7 @@
       return true;
     
     // Check if the previous state has this binding.    
-    SVal X = VMgr.GetSVal(PrevSt, loc::MemRegionVal(R));
+    SVal X = PrevSt->getSVal(loc::MemRegionVal(R));
     
     if (X == V) // Same binding?
       return true;

clang/lib/Analysis/GRState.cpp

diff --git a/clang/lib/Analysis/GRState.cpp b/clang/lib/Analysis/GRState.cpp
index aeb1c04..a64b2d7 100644
--- a/clang/lib/Analysis/GRState.cpp
+++ b/clang/lib/Analysis/GRState.cpp
@@ -282,7 +282,7 @@
 bool GRStateManager::isEqual(const GRState* state, Expr* Ex,
                              const llvm::APSInt& Y) {
   
-  SVal V = GetSVal(state, Ex);
+  SVal V = state->getSVal(Ex);
   
   if (loc::ConcreteInt* X = dyn_cast<loc::ConcreteInt>(&V))
     return X->getValue() == Y;