1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // UNSUPPORTED: c++03, c++11, c++14, c++17
10
11 // <utility>
12
13 // template<class T, class U>
14 // constexpr bool cmp_equal(T t, U u) noexcept; // C++20
15
16 // template<class T, class U>
17 // constexpr bool cmp_not_equal(T t, U u) noexcept; // C++20
18
19 // template<class T, class U>
20 // constexpr bool cmp_less(T t, U u) noexcept; // C++20
21
22 // template<class T, class U>
23 // constexpr bool cmp_less_equal(T t, U u) noexcept; // C++20
24
25 // template<class T, class U>
26 // constexpr bool cmp_greater(T t, U u) noexcept; // C++20
27
28 // template<class T, class U>
29 // constexpr bool cmp_greater_equal(T t, U u) noexcept; // C++20
30
31 // template<class R, class T>
32 // constexpr bool in_range(T t) noexcept; // C++20
33
34 #include <utility>
35 #include <cstddef>
36
37 #include "test_macros.h"
38
39 struct NonEmptyT {
40 int val;
NonEmptyTNonEmptyT41 NonEmptyT() : val(0) {}
NonEmptyTNonEmptyT42 NonEmptyT(int val) : val(val) {}
operator int&NonEmptyT43 operator int&() { return val; }
operator intNonEmptyT44 operator int() const { return val; }
45 };
46
47 enum ColorT { red, green, blue };
48
49 struct EmptyT {};
50
51 template <class T>
test()52 constexpr void test() {
53 std::cmp_equal(T(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_equal'}}
54 std::cmp_equal(T(), int()); // expected-error 10-11 {{no matching function for call to 'cmp_equal'}}
55 std::cmp_equal(int(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_equal'}}
56 std::cmp_not_equal(T(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_not_equal'}}
57 std::cmp_not_equal(T(), int()); // expected-error 10-11 {{no matching function for call to 'cmp_not_equal'}}
58 std::cmp_not_equal(int(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_not_equal'}}
59 std::cmp_less(T(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_less'}}
60 std::cmp_less(T(), int()); // expected-error 10-11 {{no matching function for call to 'cmp_less'}}
61 std::cmp_less(int(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_less'}}
62 std::cmp_less_equal(T(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_less_equal'}}
63 std::cmp_less_equal(T(), int()); // expected-error 10-11 {{no matching function for call to 'cmp_less_equal'}}
64 std::cmp_less_equal(int(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_less_equal'}}
65 std::cmp_greater(T(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_greater'}}
66 std::cmp_greater(T(), int()); // expected-error 10-11 {{no matching function for call to 'cmp_greater'}}
67 std::cmp_greater(int(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_greater'}}
68 std::cmp_greater_equal(T(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_greater_equal'}}
69 std::cmp_greater_equal(T(), int()); // expected-error 10-11 {{no matching function for call to 'cmp_greater_equal'}}
70 std::cmp_greater_equal(int(), T()); // expected-error 10-11 {{no matching function for call to 'cmp_greater_equal'}}
71 std::in_range<T>(int()); // expected-error 10-11 {{no matching function for call to 'in_range'}}
72 std::in_range<int>(T()); // expected-error 10-11 {{no matching function for call to 'in_range'}}
73 }
74 #ifndef TEST_HAS_NO_CHAR8_T
75 template <class T>
test_char8t()76 constexpr void test_char8t() {
77 std::cmp_equal(T(), T()); // expected-error 1 {{no matching function for call to 'cmp_equal'}}
78 std::cmp_equal(T(), int()); // expected-error 1 {{no matching function for call to 'cmp_equal'}}
79 std::cmp_equal(int(), T()); // expected-error 1 {{no matching function for call to 'cmp_equal'}}
80 std::cmp_not_equal(T(), T()); // expected-error 1 {{no matching function for call to 'cmp_not_equal'}}
81 std::cmp_not_equal(T(), int()); // expected-error 1 {{no matching function for call to 'cmp_not_equal'}}
82 std::cmp_not_equal(int(), T()); // expected-error 1 {{no matching function for call to 'cmp_not_equal'}}
83 std::cmp_less(T(), T()); // expected-error 1 {{no matching function for call to 'cmp_less'}}
84 std::cmp_less(T(), int()); // expected-error 1 {{no matching function for call to 'cmp_less'}}
85 std::cmp_less(int(), T()); // expected-error 1 {{no matching function for call to 'cmp_less'}}
86 std::cmp_less_equal(T(), T()); // expected-error 1 {{no matching function for call to 'cmp_less_equal'}}
87 std::cmp_less_equal(T(), int()); // expected-error 1 {{no matching function for call to 'cmp_less_equal'}}
88 std::cmp_less_equal(int(), T()); // expected-error 1 {{no matching function for call to 'cmp_less_equal'}}
89 std::cmp_greater(T(), T()); // expected-error 1 {{no matching function for call to 'cmp_greater'}}
90 std::cmp_greater(T(), int()); // expected-error 1 {{no matching function for call to 'cmp_greater'}}
91 std::cmp_greater(int(), T()); // expected-error 1 {{no matching function for call to 'cmp_greater'}}
92 std::cmp_greater_equal(T(), T()); // expected-error 1 {{no matching function for call to 'cmp_greater_equal'}}
93 std::cmp_greater_equal(T(), int()); // expected-error 1 {{no matching function for call to 'cmp_greater_equal'}}
94 std::cmp_greater_equal(int(), T()); // expected-error 1 {{no matching function for call to 'cmp_greater_equal'}}
95 std::in_range<T>(int()); // expected-error 1 {{no matching function for call to 'in_range'}}
96 std::in_range<int>(T()); // expected-error 1 {{no matching function for call to 'in_range'}}
97 }
98 #endif // TEST_HAS_NO_CHAR8_T
99
100 template <class T>
test_uchars()101 constexpr void test_uchars() {
102 std::cmp_equal(T(), T()); // expected-error 2 {{no matching function for call to 'cmp_equal'}}
103 std::cmp_equal(T(), int()); // expected-error 2 {{no matching function for call to 'cmp_equal'}}
104 std::cmp_equal(int(), T()); // expected-error 2 {{no matching function for call to 'cmp_equal'}}
105 std::cmp_not_equal(T(), T()); // expected-error 2 {{no matching function for call to 'cmp_not_equal'}}
106 std::cmp_not_equal(T(), int()); // expected-error 2 {{no matching function for call to 'cmp_not_equal'}}
107 std::cmp_not_equal(int(), T()); // expected-error 2 {{no matching function for call to 'cmp_not_equal'}}
108 std::cmp_less(T(), T()); // expected-error 2 {{no matching function for call to 'cmp_less'}}
109 std::cmp_less(T(), int()); // expected-error 2 {{no matching function for call to 'cmp_less'}}
110 std::cmp_less(int(), T()); // expected-error 2 {{no matching function for call to 'cmp_less'}}
111 std::cmp_less_equal(T(), T()); // expected-error 2 {{no matching function for call to 'cmp_less_equal'}}
112 std::cmp_less_equal(T(), int()); // expected-error 2 {{no matching function for call to 'cmp_less_equal'}}
113 std::cmp_less_equal(int(), T()); // expected-error 2 {{no matching function for call to 'cmp_less_equal'}}
114 std::cmp_greater(T(), T()); // expected-error 2 {{no matching function for call to 'cmp_greater'}}
115 std::cmp_greater(T(), int()); // expected-error 2 {{no matching function for call to 'cmp_greater'}}
116 std::cmp_greater(int(), T()); // expected-error 2 {{no matching function for call to 'cmp_greater'}}
117 std::cmp_greater_equal(T(), T()); // expected-error 2 {{no matching function for call to 'cmp_greater_equal'}}
118 std::cmp_greater_equal(T(), int()); // expected-error 2 {{no matching function for call to 'cmp_greater_equal'}}
119 std::cmp_greater_equal(int(), T()); // expected-error 2 {{no matching function for call to 'cmp_greater_equal'}}
120 std::in_range<T>(int()); // expected-error 2 {{no matching function for call to 'in_range'}}
121 std::in_range<int>(T()); // expected-error 2 {{no matching function for call to 'in_range'}}
122 }
123
main(int,char **)124 int main(int, char**) {
125 test<bool>();
126 test<char>();
127 #ifndef TEST_HAS_NO_WIDE_CHARACTERS
128 test<wchar_t>();
129 #endif
130 test<float>();
131 test<double>();
132 test<long double>();
133 test<std::byte>();
134 test<NonEmptyT>();
135 test<ColorT>();
136 test<std::nullptr_t>();
137 test<EmptyT>();
138
139 #ifndef TEST_HAS_NO_CHAR8_T
140 test_char8t<char8_t>();
141 #endif // TEST_HAS_NO_CHAR8_T
142
143 test_uchars<char16_t>();
144 test_uchars<char32_t>();
145
146 return 0;
147 }
148