diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-05-04 15:17:38 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-05-04 15:17:38 +0000 |
commit | cd9392ff7336a2cd5547305ba83a65e63b4f6ff8 (patch) | |
tree | e3647804e8cb0fab010b4f317a0700b1c2eee106 | |
parent | 124838b947a3f612218416602b35ee65c5a9b30d (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.h | 4 | ||||
-rw-r--r-- | lib/Analysis/SVals.cpp | 2 | ||||
-rw-r--r-- | lib/Analysis/Store.cpp | 2 |
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? |