Searched refs:OtherValueRange (Results 1 – 1 of 1) sorted by relevance
14743 IntRange OtherValueRange = GetExprRange( in CheckTautologicalComparison() local14762 OtherTypeRange = OtherValueRange = IntRange::forBoolType(); in CheckTautologicalComparison()14766 PromotedRange OtherPromotedValueRange(OtherValueRange, Value.getBitWidth(), in CheckTautologicalComparison()14790 if (!TautologicalTypeCompare && OtherValueRange.Width == 0) in CheckTautologicalComparison()14829 << RhsConstant << OtherValueRange.Width << OtherValueRange.NonNegative in CheckTautologicalComparison()