diff options
| -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? |