aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2008-10-29 02:34:02 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2008-10-29 02:34:02 +0000
commit8b2e05d9eef692f30054216237e776cb51acd054 (patch)
tree946b3eb0cecc5dba12dc8d6d7b6f0cb5c2366079 /lib
parent15da57e66cade0c2cab752f925e838b22daadafc (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.cpp10
-rw-r--r--lib/Analysis/GRExprEngine.cpp2
-rw-r--r--lib/Analysis/GRState.cpp9
-rw-r--r--lib/Analysis/RegionStore.cpp9
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();