Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Extent

768   // Set the region's extent equal to the Size parameter.
776     DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
778         svalBuilder.evalEQ(State, Extent, *DefinedSize);