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