Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Extent

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