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

Add assertions for out of bound index in ComputeLinearIndex 

llvm-svn: 225951
This commit is contained in:
Mehdi Amini 2015-01-14 05:38:48 +00:00
parent aa32297fb8
commit 7b068f6ba4
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
llvm/lib/CodeGen/Analysis.cpp
View File

@ -51,6 +51,7 @@ unsigned llvm::ComputeLinearIndex(Type *Ty,
return ComputeLinearIndex(*EI, Indices+1, IndicesEnd, CurIndex); return ComputeLinearIndex(*EI, Indices+1, IndicesEnd, CurIndex);
CurIndex = ComputeLinearIndex(*EI, nullptr, nullptr, CurIndex); CurIndex = ComputeLinearIndex(*EI, nullptr, nullptr, CurIndex);
} }
assert(!Indices && "Unexpected out of bound");
return CurIndex; return CurIndex;
} }
// Given an array type, recursively traverse the elements. // Given an array type, recursively traverse the elements.
@ -59,13 +60,13 @@ unsigned llvm::ComputeLinearIndex(Type *Ty,
unsigned NumElts = ATy->getNumElements(); unsigned NumElts = ATy->getNumElements();
// Compute the Linear offset when jumping one element of the array // Compute the Linear offset when jumping one element of the array
unsigned EltLinearOffset = ComputeLinearIndex(EltTy, nullptr, nullptr, 0); unsigned EltLinearOffset = ComputeLinearIndex(EltTy, nullptr, nullptr, 0);
if (Indices && *Indices < NumElts) { if (Indices) {
assert(*Indices < NumElts && "Unexpected out of bound");
// If the indice is inside the array, compute the index to the requested // If the indice is inside the array, compute the index to the requested
// elt and recurse inside the element with the end of the indices list // elt and recurse inside the element with the end of the indices list
CurIndex += EltLinearOffset* *Indices; CurIndex += EltLinearOffset* *Indices;
return ComputeLinearIndex(EltTy, Indices+1, IndicesEnd, CurIndex); return ComputeLinearIndex(EltTy, Indices+1, IndicesEnd, CurIndex);
} }
// Out of bound? Assert instead?
CurIndex += EltLinearOffset*NumElts; CurIndex += EltLinearOffset*NumElts;
return CurIndex; return CurIndex;
} }