Searched refs:makeZeroArrayIndex (Results 1 – 6 of 6) sorted by relevance
179 std::optional<NonLoc> Offset = SVB.makeZeroArrayIndex(); in computeOffset()587 State, ByteOffset, SVB.makeZeroArrayIndex(), SVB); in performCheck()
133 ACtx.IntTy, SVB.makeZeroArrayIndex(), in checkBeginFunction()
462 const NonLoc Zero = SVB.makeZeroArrayIndex(); in checkInit()
280 NonLoc makeZeroArrayIndex() { in makeZeroArrayIndex() function
69 NonLoc idx = svalBuilder.makeZeroArrayIndex(); in GetElementZeroRegion()
1375 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex(); in ArrayToPointer()