Searched refs:makeZeroArrayIndex (Results 1 – 5 of 5) sorted by relevance
94 std::optional<NonLoc> Offset = SVB.makeZeroArrayIndex(); in computeOffset()364 State, ByteOffset, SVB.makeZeroArrayIndex(), SVB); in performCheck()
173 ACtx.IntTy, SVB.makeZeroArrayIndex(), in checkBeginFunction()
69 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
1375 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex(); in ArrayToPointer()
276 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex() function