Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Extent

298   SVal Extent =
300   DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>();
881   SVal Extent =
883   DefinedOrUnknownSVal ExtentSize = Extent.castAs<DefinedOrUnknownSVal>();