From d795b02be7acae8d7af25c3589e575730b581a96 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Mon, 4 May 2009 15:17:38 +0000 Subject: [PATCH] Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. llvm-svn: 70865 --- clang/include/clang/Analysis/PathSensitive/ValueManager.h | 4 ++-- clang/lib/Analysis/SVals.cpp | 2 +- clang/lib/Analysis/Store.cpp | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/clang/include/clang/Analysis/PathSensitive/ValueManager.h b/clang/include/clang/Analysis/PathSensitive/ValueManager.h index d84008189330..271d9862e4f8 100644 --- a/clang/include/clang/Analysis/PathSensitive/ValueManager.h +++ b/clang/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/clang/lib/Analysis/SVals.cpp b/clang/lib/Analysis/SVals.cpp index 43ede0f7cd86..724b8cf8c5d5 100644 --- a/clang/lib/Analysis/SVals.cpp +++ b/clang/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/clang/lib/Analysis/Store.cpp b/clang/lib/Analysis/Store.cpp index 749a657b12a3..32b186b269c7 100644 --- a/clang/lib/Analysis/Store.cpp +++ b/clang/lib/Analysis/Store.cpp @@ -65,7 +65,7 @@ StoreManager::CastRegion(const GRState* state, const MemRegion* R, if (const TypedRegion *TR = dyn_cast(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?