Searched refs:OtherPromotedValueRange (Results 1 – 1 of 1) sorted by relevance
9993 PromotedRange OtherPromotedValueRange(OtherValueRange, Value.getBitWidth(), in CheckTautologicalComparison() local9995 auto Cmp = OtherPromotedValueRange.compare(Value); in CheckTautologicalComparison()