aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2009-05-04 15:17:38 +0000
committerTed Kremenek <kremenek@apple.com>2009-05-04 15:17:38 +0000
commitcd9392ff7336a2cd5547305ba83a65e63b4f6ff8 (patch)
treee3647804e8cb0fab010b4f317a0700b1c2eee106
parent124838b947a3f612218416602b35ee65c5a9b30d (diff)
Rename 'makeZeroIndex' to 'makeZeroArrayIndex'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70865 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/Analysis/PathSensitive/ValueManager.h4
-rw-r--r--lib/Analysis/SVals.cpp2
-rw-r--r--lib/Analysis/Store.cpp2
3 files changed, 4 insertions, 4 deletions
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?