maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. 

llvm-svn: 70865
This commit is contained in:
Ted Kremenek 2009-05-04 15:17:38 +00:00
parent 629a43ffa1
commit d795b02be7
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
clang/include/clang/Analysis/PathSensitive/ValueManager.h
View File

@ -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);

2
clang/lib/Analysis/SVals.cpp
View File

@ -227,7 +227,7 @@ SVal ValueManager::makeZeroVal(QualType T) {
return UnknownVal();
}
SVal ValueManager::makeZeroIndex() {
SVal ValueManager::makeZeroArrayIndex() {
return nonloc::ConcreteInt(BasicVals.getZeroWithPtrWidth(false));
}

2
clang/lib/Analysis/Store.cpp
View File

@ -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?