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