diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-21 06:27:32 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-21 06:27:32 +0000 |
| commit | 8485ec6a1d7d7f25ea680ea3740bc1a11d2bb7cd (patch) | |
| tree | 47b77ba39e330c4cd5078cbc899282a0e9d969eb /lib/Analysis/BasicStore.cpp | |
| parent | 65e5e4054bdce29917995cb31934e96af62263b9 (diff) | |
Modify Store interface: GetSVal/SetSVal => Retrieve/Bind.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57896 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | lib/Analysis/BasicStore.cpp | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp index 8fc438d6a5..c37db36640 100644 --- a/lib/Analysis/BasicStore.cpp +++ b/lib/Analysis/BasicStore.cpp @@ -34,8 +34,8 @@ public: virtual ~BasicStoreManager() {} - virtual SVal GetSVal(Store St, Loc LV, QualType T); - virtual Store SetSVal(Store St, Loc LV, SVal V); + virtual SVal Retrieve(Store St, Loc LV, QualType T); + virtual Store Bind(Store St, Loc LV, SVal V); virtual Store Remove(Store St, Loc LV); virtual Store getInitialStore(); @@ -133,7 +133,7 @@ SVal BasicStoreManager::getLValueElement(const GRState* St, SVal Base, return Base; } -SVal BasicStoreManager::GetSVal(Store St, Loc LV, QualType T) { +SVal BasicStoreManager::Retrieve(Store St, Loc LV, QualType T) { if (isa<UnknownVal>(LV)) return UnknownVal(); @@ -177,7 +177,7 @@ SVal BasicStoreManager::GetSVal(Store St, Loc LV, QualType T) { return UnknownVal(); } -Store BasicStoreManager::SetSVal(Store store, Loc LV, SVal V) { +Store BasicStoreManager::Bind(Store store, Loc LV, SVal V) { switch (LV.getSubKind()) { case loc::MemRegionKind: { const VarRegion* R = @@ -315,7 +315,7 @@ Store BasicStoreManager::getInitialStore() { ? SVal::GetSymbolValue(StateMgr.getSymbolManager(), VD) : UndefinedVal(); - St = SetSVal(St, loc::MemRegionVal(MRMgr.getVarRegion(VD)), X); + St = Bind(St, loc::MemRegionVal(MRMgr.getVarRegion(VD)), X); } } } @@ -355,16 +355,16 @@ Store BasicStoreManager::AddDecl(Store store, if (!Ex) { QualType T = VD->getType(); if (Loc::IsLocType(T)) - store = SetSVal(store, getLoc(VD), - loc::ConcreteInt(BasicVals.getValue(0, T))); + store = Bind(store, getLoc(VD), + loc::ConcreteInt(BasicVals.getValue(0, T))); else if (T->isIntegerType()) - store = SetSVal(store, getLoc(VD), - nonloc::ConcreteInt(BasicVals.getValue(0, T))); + store = Bind(store, getLoc(VD), + nonloc::ConcreteInt(BasicVals.getValue(0, T))); else { // assert(0 && "ignore other types of variables"); } } else { - store = SetSVal(store, getLoc(VD), InitVal); + store = Bind(store, getLoc(VD), InitVal); } } } else { @@ -382,7 +382,7 @@ Store BasicStoreManager::AddDecl(Store store, : cast<SVal>(nonloc::SymbolVal(Sym)); } - store = SetSVal(store, getLoc(VD), V); + store = Bind(store, getLoc(VD), V); } } |