Searched refs:DefaultRange (Results 1 – 1 of 1) sorted by relevance
1256 RangeSet DefaultRange = infer(T); in VisitBinaryOperator() local1263 return assumeNonZero(DefaultRange, T); in VisitBinaryOperator()1267 return DefaultRange; in VisitBinaryOperator()