commit 8b2e05d9eef692f30054216237e776cb51acd054
author Zhongxing Xu <xuzhongxing@gmail.com> Wed Oct 29 02:34:02 2008 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Wed Oct 29 02:34:02 2008 +0000
tree 946b3eb0cecc5dba12dc8d6d7b6f0cb5c2366079
parent 15da57e66cade0c2cab752f925e838b22daadafc

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

lib/Analysis/BasicStore.cpp

diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp
index 05c8523..de5ff30 100644
--- a/lib/Analysis/BasicStore.cpp
+++ b/lib/Analysis/BasicStore.cpp
@@ -74,8 +74,8 @@
 
   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 @@
   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();
   

lib/Analysis/GRExprEngine.cpp

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index bbeebd6..a930333 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -1608,7 +1608,7 @@
   
   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);
   }
 }

lib/Analysis/GRState.cpp

diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp
index 03b7247..f598ec4 100644
--- a/lib/Analysis/GRState.cpp
+++ b/lib/Analysis/GRState.cpp
@@ -73,16 +73,15 @@
   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;

lib/Analysis/RegionStore.cpp

diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index 1c73cea..d5fb4d2 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -93,8 +93,8 @@
     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 @@
   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();