Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Extent

285   SVal Extent = 
287   DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>();