Searched refs:DefaultRange (Results 1 – 1 of 1) sorted by relevance
1728 RangeSet DefaultRange = infer(T); in VisitBinaryOperator() local1735 return assumeNonZero(DefaultRange, T); in VisitBinaryOperator()1739 return DefaultRange; in VisitBinaryOperator()