Searched refs:OtherValueRange (Results 1 – 1 of 1) sorted by relevance
11641 IntRange OtherValueRange = GetExprRange( in CheckTautologicalComparison() local11660 OtherTypeRange = OtherValueRange = IntRange::forBoolType(); in CheckTautologicalComparison()11664 PromotedRange OtherPromotedValueRange(OtherValueRange, Value.getBitWidth(), in CheckTautologicalComparison()11688 if (!TautologicalTypeCompare && OtherValueRange.Width == 0) in CheckTautologicalComparison()11727 << RhsConstant << OtherValueRange.Width << OtherValueRange.NonNegative in CheckTautologicalComparison()