diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-12-21 03:31:01 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-12-21 03:31:01 +0000 |
commit | 56a3460cf2ce104a88f6642365721f4a623e9cd5 (patch) | |
tree | b109878eb65725fd9b93038d70fac5c3cccd1206 /lib/Analysis/BasicStore.cpp | |
parent | a90dce3106a41a188f06850193cdc7dc51857493 (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.cpp | 20 |
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); } } } |