Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Extent

435   // Set the region's extent equal to the Size parameter.
442     DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
445         svalBuilder.evalEQ(state, Extent, DefinedSize);