Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Extent

294   SVal Extent =
296   DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>();
877   SVal Extent =
879   DefinedOrUnknownSVal ExtentSize = Extent.castAs<DefinedOrUnknownSVal>();