Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Extent

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