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