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 d840081..271d986 100644
--- a/include/clang/Analysis/PathSensitive/ValueManager.h
+++ b/include/clang/Analysis/PathSensitive/ValueManager.h
@@ -76,9 +76,9 @@
/// 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 43ede0f..724b8cf 100644
--- a/lib/Analysis/SVals.cpp
+++ b/lib/Analysis/SVals.cpp
@@ -227,7 +227,7 @@
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 749a657..32b186b 100644
--- a/lib/Analysis/Store.cpp
+++ b/lib/Analysis/Store.cpp
@@ -65,7 +65,7 @@
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?