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