diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-29 02:34:02 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-29 02:34:02 +0000 |
commit | 8b2e05d9eef692f30054216237e776cb51acd054 (patch) | |
tree | 946b3eb0cecc5dba12dc8d6d7b6f0cb5c2366079 /lib | |
parent | 15da57e66cade0c2cab752f925e838b22daadafc (diff) |
Rename: AddDecl => BindDecl
BindDecl better describes what the function does:
- Bind the VarDecl to its memory region
- Bind the memory region to some initial value.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58359 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Analysis/BasicStore.cpp | 10 | ||||
-rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 2 | ||||
-rw-r--r-- | lib/Analysis/GRState.cpp | 9 | ||||
-rw-r--r-- | lib/Analysis/RegionStore.cpp | 9 |
4 files changed, 13 insertions, 17 deletions
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp index 05c8523d2d..de5ff30db9 100644 --- a/lib/Analysis/BasicStore.cpp +++ b/lib/Analysis/BasicStore.cpp @@ -74,8 +74,8 @@ public: void iterBindings(Store store, BindingsHandler& f); - Store AddDecl(Store store, const VarDecl* VD, Expr* Ex, - SVal InitVal = UndefinedVal(), unsigned Count = 0); + Store BindDecl(Store store, const VarDecl* VD, Expr* Ex, + SVal InitVal = UndefinedVal(), unsigned Count = 0); static inline VarBindingsTy GetVarBindings(Store store) { return VarBindingsTy(static_cast<const VarBindingsTy::TreeTy*>(store)); @@ -351,10 +351,8 @@ Store BasicStoreManager::getInitialStore() { return St; } -Store BasicStoreManager::AddDecl(Store store, - const VarDecl* VD, Expr* Ex, - SVal InitVal, unsigned Count) { - +Store BasicStoreManager::BindDecl(Store store, const VarDecl* VD, Expr* Ex, + SVal InitVal, unsigned Count) { BasicValueFactory& BasicVals = StateMgr.getBasicVals(); SymbolManager& SymMgr = StateMgr.getSymbolManager(); diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index bbeebd6858..a9303330fe 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -1608,7 +1608,7 @@ void GRExprEngine::VisitDeclStmt(DeclStmt* DS, NodeTy* Pred, NodeSet& Dst) { for (NodeSet::iterator I=Tmp.begin(), E=Tmp.end(); I!=E; ++I) { const GRState* St = GetState(*I); - St = StateMgr.AddDecl(St, VD, Ex, Builder->getCurrentBlockCount()); + St = StateMgr.BindDecl(St, VD, Ex, Builder->getCurrentBlockCount()); MakeNode(Dst, DS, *I, St); } } diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp index 03b724779e..f598ec4b70 100644 --- a/lib/Analysis/GRState.cpp +++ b/lib/Analysis/GRState.cpp @@ -73,16 +73,15 @@ const GRState* GRStateManager::SetSVal(const GRState* St, Loc LV, return getPersistentState(NewSt); } -const GRState* GRStateManager::AddDecl(const GRState* St, const VarDecl* VD, - Expr* Ex, unsigned Count) { +const GRState* GRStateManager::BindDecl(const GRState* St, const VarDecl* VD, + Expr* Ex, unsigned Count) { Store OldStore = St->getStore(); Store NewStore; if (Ex) - NewStore = StoreMgr->AddDecl(OldStore, VD, Ex, - GetSVal(St, Ex), Count); + NewStore = StoreMgr->BindDecl(OldStore, VD, Ex, GetSVal(St, Ex), Count); else - NewStore = StoreMgr->AddDecl(OldStore, VD, Ex); + NewStore = StoreMgr->BindDecl(OldStore, VD, Ex); if (NewStore == OldStore) return St; diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp index 1c73ceae20..d5fb4d2a9a 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -93,8 +93,8 @@ public: return store; } - Store AddDecl(Store store, const VarDecl* VD, Expr* Ex, SVal InitVal, - unsigned Count); + Store BindDecl(Store store, const VarDecl* VD, Expr* Ex, SVal InitVal, + unsigned Count); static inline RegionBindingsTy GetRegionBindings(Store store) { return RegionBindingsTy(static_cast<const RegionBindingsTy::TreeTy*>(store)); @@ -292,9 +292,8 @@ Store RegionStoreManager::getInitialStore() { return St; } -Store RegionStoreManager::AddDecl(Store store, - const VarDecl* VD, Expr* Ex, - SVal InitVal, unsigned Count) { +Store RegionStoreManager::BindDecl(Store store, const VarDecl* VD, Expr* Ex, + SVal InitVal, unsigned Count) { BasicValueFactory& BasicVals = StateMgr.getBasicVals(); SymbolManager& SymMgr = StateMgr.getSymbolManager(); |