aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BasicStore.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2008-12-21 03:31:01 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2008-12-21 03:31:01 +0000
commit56a3460cf2ce104a88f6642365721f4a623e9cd5 (patch)
treeb109878eb65725fd9b93038d70fac5c3cccd1206 /lib/Analysis/BasicStore.cpp
parenta90dce3106a41a188f06850193cdc7dc51857493 (diff)
Use utility methods. No functional change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@61300 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
-rw-r--r--lib/Analysis/BasicStore.cpp20
1 files changed, 10 insertions, 10 deletions
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp
index f9a61bbc75..0c1d879475 100644
--- a/lib/Analysis/BasicStore.cpp
+++ b/lib/Analysis/BasicStore.cpp
@@ -53,7 +53,7 @@ public:
// FIXME: Investigate what is using this. This method should be removed.
virtual Loc getLoc(const VarDecl* VD) {
- return loc::MemRegionVal(MRMgr.getVarRegion(VD));
+ return Loc::MakeVal(MRMgr.getVarRegion(VD));
}
const GRState* BindCompoundLiteral(const GRState* St,
@@ -126,17 +126,17 @@ StoreManager* clang::CreateBasicStoreManager(GRStateManager& StMgr) {
}
SVal BasicStoreManager::getLValueVar(const GRState* St, const VarDecl* VD) {
- return loc::MemRegionVal(MRMgr.getVarRegion(VD));
+ return Loc::MakeVal(MRMgr.getVarRegion(VD));
}
SVal BasicStoreManager::getLValueString(const GRState* St,
const StringLiteral* S) {
- return loc::MemRegionVal(MRMgr.getStringRegion(S));
+ return Loc::MakeVal(MRMgr.getStringRegion(S));
}
SVal BasicStoreManager::getLValueCompoundLiteral(const GRState* St,
const CompoundLiteralExpr* CL){
- return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL));
+ return Loc::MakeVal(MRMgr.getCompoundLiteralRegion(CL));
}
SVal BasicStoreManager::getLValueIvar(const GRState* St, const ObjCIvarDecl* D,
@@ -199,7 +199,7 @@ SVal BasicStoreManager::getLValueField(const GRState* St, SVal Base,
return Base;
}
- return loc::MemRegionVal(MRMgr.getFieldRegion(D, BaseR));
+ return Loc::MakeVal(MRMgr.getFieldRegion(D, BaseR));
}
SVal BasicStoreManager::getLValueElement(const GRState* St, SVal Base,
@@ -260,7 +260,7 @@ SVal BasicStoreManager::getLValueElement(const GRState* St, SVal Base,
}
if (BaseR)
- return loc::MemRegionVal(MRMgr.getElementRegion(UnknownVal(), BaseR));
+ return Loc::MakeVal(MRMgr.getElementRegion(UnknownVal(), BaseR));
else
return UnknownVal();
}
@@ -406,7 +406,7 @@ BasicStoreManager::RemoveDeadBindings(const GRState* state, Stmt* Loc,
const VarRegion* R = cast<VarRegion>(MRMgr.getVarRegion(I.getKey()));
if (!Marked.count(R)) {
- store = Remove(store, loc::MemRegionVal(R));
+ store = Remove(store, Loc::MakeVal(R));
SVal X = I.getData();
for (symbol_iterator SI=X.symbol_begin(), SE=X.symbol_end(); SI!=SE; ++SI)
@@ -441,8 +441,8 @@ Store BasicStoreManager::getInitialStore() {
SelfRegion = MRMgr.getObjCObjectRegion(MD->getClassInterface(),
MRMgr.getHeapRegion());
- St = BindInternal(St, loc::MemRegionVal(MRMgr.getVarRegion(PD)),
- loc::MemRegionVal(SelfRegion));
+ St = BindInternal(St, Loc::MakeVal(MRMgr.getVarRegion(PD)),
+ Loc::MakeVal(SelfRegion));
}
}
}
@@ -461,7 +461,7 @@ Store BasicStoreManager::getInitialStore() {
? SVal::GetSymbolValue(StateMgr.getSymbolManager(), VD)
: UndefinedVal();
- St = BindInternal(St, loc::MemRegionVal(MRMgr.getVarRegion(VD)), X);
+ St = BindInternal(St, Loc::MakeVal(MRMgr.getVarRegion(VD)), X);
}
}
}