Searched refs:OtherValueRange (Results 1 – 1 of 1) sorted by relevance
12680 IntRange OtherValueRange = GetExprRange( in CheckTautologicalComparison() local12699 OtherTypeRange = OtherValueRange = IntRange::forBoolType(); in CheckTautologicalComparison()12703 PromotedRange OtherPromotedValueRange(OtherValueRange, Value.getBitWidth(), in CheckTautologicalComparison()12727 if (!TautologicalTypeCompare && OtherValueRange.Width == 0) in CheckTautologicalComparison()12766 << RhsConstant << OtherValueRange.Width << OtherValueRange.NonNegative in CheckTautologicalComparison()