Searched refs:OtherValueRange (Results 1 – 1 of 1) sorted by relevance
9970 IntRange OtherValueRange = GetExprRange( in CheckTautologicalComparison() local9989 OtherTypeRange = OtherValueRange = IntRange::forBoolType(); in CheckTautologicalComparison()9993 PromotedRange OtherPromotedValueRange(OtherValueRange, Value.getBitWidth(), in CheckTautologicalComparison()10017 if (!TautologicalTypeCompare && OtherValueRange.Width == 0) in CheckTautologicalComparison()10056 << RhsConstant << OtherValueRange.Width << OtherValueRange.NonNegative in CheckTautologicalComparison()