Searched refs:ExtentSize (Results 1 – 1 of 1) sorted by relevance
879 DefinedOrUnknownSVal ExtentSize = Extent.castAs<DefinedOrUnknownSVal>(); in IsFirstBufInBound() local884 ProgramStateRef StInBound = state->assumeInBound(Idx, ExtentSize, true); in IsFirstBufInBound()