diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-05 12:12:48 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-05 12:12:48 +0000 |
| commit | c1d1bbf691819dc69c122cbdd376c5c630bae378 (patch) | |
| tree | c5c4d7392cb237ae4d163cc6e3e2cb525257cd9d /lib/Analysis/GRState.cpp | |
| parent | eb1542540931887ccd587afd6f9de7d44040b8df (diff) | |
Remove redundant parameter and rename StMgr to StateMgr.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57107 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRState.cpp')
| -rw-r--r-- | lib/Analysis/GRState.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp index 2f829e65da..0b519fc6a0 100644 --- a/lib/Analysis/GRState.cpp +++ b/lib/Analysis/GRState.cpp @@ -79,10 +79,10 @@ const GRState* GRStateManager::AddDecl(const GRState* St, const VarDecl* VD, Store NewStore; if (Ex) - NewStore = StMgr->AddDecl(OldStore, *this, VD, Ex, + NewStore = StMgr->AddDecl(OldStore, VD, Ex, GetRVal(St, Ex), Count); else - NewStore = StMgr->AddDecl(OldStore, *this, VD, Ex); + NewStore = StMgr->AddDecl(OldStore, VD, Ex); if (NewStore == OldStore) return St; @@ -107,7 +107,7 @@ const GRState* GRStateManager::Unbind(const GRState* St, LVal LV) { const GRState* GRStateManager::getInitialState() { GRState StateImpl(EnvMgr.getInitialEnvironment(), - StMgr->getInitialStore(*this), + StMgr->getInitialStore(), GDMFactory.GetEmptyMap()); return getPersistentState(StateImpl); |