From: Ted Kremenek <kremenek@apple.com>
Date: Mon, 4 May 2009 15:17:38 +0000 (+0000)
Subject: Rename 'makeZeroIndex' to 'makeZeroArrayIndex'.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=cd9392ff7336a2cd5547305ba83a65e63b4f6ff8;p=clang

Rename 'makeZeroIndex' to 'makeZeroArrayIndex'.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70865 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/include/clang/Analysis/PathSensitive/ValueManager.h b/include/clang/Analysis/PathSensitive/ValueManager.h
index d840081893..271d9862e4 100644
--- a/include/clang/Analysis/PathSensitive/ValueManager.h
+++ b/include/clang/Analysis/PathSensitive/ValueManager.h
@@ -76,9 +76,9 @@ public:
   
   /// makeZeroVal - Construct an SVal representing '0' for the specified type.
   SVal makeZeroVal(QualType T);
-  /// makeZeroIndex - Construct an SVal representing '0' index for array
+  /// makeZeroArrayIndex - Construct an SVal representing '0' index for array
   /// elements.
-  SVal makeZeroIndex();
+  SVal makeZeroArrayIndex();
 
   /// GetRValueSymbolVal - make a unique symbol for value of R.
   SVal getRValueSymbolVal(const MemRegion* R);
diff --git a/lib/Analysis/SVals.cpp b/lib/Analysis/SVals.cpp
index 43ede0f7cd..724b8cf8c5 100644
--- a/lib/Analysis/SVals.cpp
+++ b/lib/Analysis/SVals.cpp
@@ -227,7 +227,7 @@ SVal ValueManager::makeZeroVal(QualType T) {
   return UnknownVal();  
 }
 
-SVal ValueManager::makeZeroIndex() {
+SVal ValueManager::makeZeroArrayIndex() {
   return nonloc::ConcreteInt(BasicVals.getZeroWithPtrWidth(false));
 }
 
diff --git a/lib/Analysis/Store.cpp b/lib/Analysis/Store.cpp
index 749a657b12..32b186b269 100644
--- a/lib/Analysis/Store.cpp
+++ b/lib/Analysis/Store.cpp
@@ -65,7 +65,7 @@ StoreManager::CastRegion(const GRState* state, const MemRegion* R,
       if (const TypedRegion *TR = dyn_cast<TypedRegion>(R)) {
         // Check if we are casting to a region with an integer type.  We now
         // the types aren't the same, so we construct an ElementRegion.
-        SVal Idx = ValMgr.makeZeroIndex();
+        SVal Idx = ValMgr.makeZeroArrayIndex();
         
         // If the super region is an element region, strip it away.
         // FIXME: Is this the right thing to do in all cases?