Searched refs:OtherValueRange (Results 1 – 1 of 1) sorted by relevance
11209 std::optional<IntRange> OtherValueRange = TryGetExprRange( in CheckTautologicalComparison() local11211 if (!OtherValueRange) in CheckTautologicalComparison()11230 OtherTypeRange = *OtherValueRange = IntRange::forBoolType(); in CheckTautologicalComparison()11234 PromotedRange OtherPromotedValueRange(*OtherValueRange, Value.getBitWidth(), in CheckTautologicalComparison()11258 if (!TautologicalTypeCompare && OtherValueRange->Width == 0) in CheckTautologicalComparison()11297 << RhsConstant << OtherValueRange->Width << OtherValueRange->NonNegative in CheckTautologicalComparison()