Searched refs:DefaultRange (Results 1 – 1 of 1) sorted by relevance
1710 RangeSet DefaultRange = infer(T); in VisitBinaryOperator() local1717 return assumeNonZero(DefaultRange, T); in VisitBinaryOperator()1721 return DefaultRange; in VisitBinaryOperator()