Searched refs:makeZeroArrayIndex (Results 1 – 6 of 6) sorted by relevance
195 std::optional<NonLoc> Offset = SVB.makeZeroArrayIndex(); in computeOffset()605 State, ByteOffset, SVB.makeZeroArrayIndex(), SVB); in performCheck()
131 ACtx.IntTy, SVB.makeZeroArrayIndex(), in checkBeginFunction()
463 const NonLoc Zero = SVB.makeZeroArrayIndex(); in checkInit()
267 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex() function
71 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
1534 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex(); in ArrayToPointer()