diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-06-23 17:55:07 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-06-23 17:55:07 +0000 |
| commit | ae01dc73afdf0825a03f4627b86bad2ff8d29d2e (patch) | |
| tree | 5b032849dcf8a9c12e76591603b86ef61c3a4d27 /clang/lib | |
| parent | b45cebabc92a479f984f2ffe20dfdb23502d1b96 (diff) | |
| download | bcm5719-llvm-ae01dc73afdf0825a03f4627b86bad2ff8d29d2e.tar.gz bcm5719-llvm-ae01dc73afdf0825a03f4627b86bad2ff8d29d2e.zip | |
API cleanup: move more methods from GRStateManager to GRState.
llvm-svn: 73968
Diffstat (limited to 'clang/lib')
| -rw-r--r-- | clang/lib/Analysis/BugReporter.cpp | 2 | ||||
| -rw-r--r-- | clang/lib/Analysis/GRState.cpp | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Analysis/BugReporter.cpp b/clang/lib/Analysis/BugReporter.cpp index 5dbbfc33e42..9c9029cfff3 100644 --- a/clang/lib/Analysis/BugReporter.cpp +++ b/clang/lib/Analysis/BugReporter.cpp @@ -380,7 +380,7 @@ public: 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; diff --git a/clang/lib/Analysis/GRState.cpp b/clang/lib/Analysis/GRState.cpp index aeb1c04cafb..a64b2d7f5f4 100644 --- a/clang/lib/Analysis/GRState.cpp +++ b/clang/lib/Analysis/GRState.cpp @@ -282,7 +282,7 @@ bool GRState::scanReachableSymbols(SVal val, SymbolVisitor& visitor) const { 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; |

