Searched refs:makeZeroArrayIndex (Results 1 – 5 of 5) sorted by relevance
73 return svalBuilder.makeZeroArrayIndex(); in computeExtentBegin()
227 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex() function
57 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
99 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue); in makeZeroElementRegion()
1341 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex(); in ArrayToPointer()