|
145
|
1 // Test for reversed candidates.
|
|
|
2 // { dg-do run { target c++2a } }
|
|
|
3
|
|
|
4 #include <compare>
|
|
|
5
|
|
|
6 struct D
|
|
|
7 {
|
|
|
8 int i;
|
|
|
9 auto operator<=>(int x) const { return i<=>x; }
|
|
|
10 bool operator== (int x) const { return i==x; }
|
|
|
11 };
|
|
|
12
|
|
|
13 #define assert(X) do { if (!(X)) __builtin_abort(); } while (0)
|
|
|
14
|
|
|
15 template <class T>
|
|
|
16 void f()
|
|
|
17 {
|
|
|
18 D d{42};
|
|
|
19 int d1 = 42;
|
|
|
20 int d2 = 24;
|
|
|
21
|
|
|
22 assert (is_eq (d <=> d1));
|
|
|
23 assert (is_eq (d1 <=> d));
|
|
|
24 assert (is_lteq (d <=> d1));
|
|
|
25 assert (is_lteq (d1 <=> d));
|
|
|
26 assert (is_gteq (d <=> d1));
|
|
|
27 assert (is_gteq (d1 <=> d));
|
|
|
28 assert (is_lt (d2 <=> d));
|
|
|
29 assert (is_lteq (d2 <=> d));
|
|
|
30 assert (is_gt (d <=> d2));
|
|
|
31 assert (is_gteq (d <=> d2));
|
|
|
32
|
|
|
33 assert (d == d1);
|
|
|
34 assert (d1 == d);
|
|
|
35 assert (!(d2 == d));
|
|
|
36 assert (!(d == d2));
|
|
|
37 assert (d != d2);
|
|
|
38 assert (d2 != d);
|
|
|
39 assert (!(d != d1));
|
|
|
40 assert (!(d1 != d));
|
|
|
41
|
|
|
42 assert (d2 < d);
|
|
|
43 assert (d2 <= d);
|
|
|
44 assert (d1 <= d);
|
|
|
45 assert (d > d2);
|
|
|
46 assert (d >= d2);
|
|
|
47 assert (d >= d1);
|
|
|
48 assert (d <= d1);
|
|
|
49 }
|
|
|
50
|
|
|
51 int main()
|
|
|
52 {
|
|
|
53 f<int>();
|
|
|
54 }
|
