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