File: spaceship-synth3a.C

package info (click to toggle)
gcc-arm-none-eabi 15%3A14.2.rel1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,099,328 kB
  • sloc: cpp: 3,627,108; ansic: 2,571,498; ada: 834,230; f90: 235,082; makefile: 79,231; asm: 74,984; xml: 51,692; exp: 39,736; sh: 33,298; objc: 15,629; python: 15,069; fortran: 14,429; pascal: 7,003; awk: 5,070; perl: 3,106; ml: 285; lisp: 253; lex: 204; haskell: 135
file content (54 lines) | stat: -rw-r--r-- 993 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
 
// Test for reversed candidates.
// { dg-do run { target c++20 } }

#include <compare>

struct D
{
  int i;
  auto operator<=>(int x) const { return i<=>x; }
  bool operator== (int x) const { return i==x;  }
};

#define assert(X) do { if (!(X)) __builtin_abort(); } while (0)

template <class T>
void f()
{
  D d{42};
  int d1 = 42;
  int d2 = 24;

  assert (is_eq (d <=> d1));
  assert (is_eq (d1 <=> d));
  assert (is_lteq (d <=> d1));
  assert (is_lteq (d1 <=> d));
  assert (is_gteq (d <=> d1));
  assert (is_gteq (d1 <=> d));
  assert (is_lt (d2 <=> d));
  assert (is_lteq (d2 <=> d));
  assert (is_gt (d <=> d2));
  assert (is_gteq (d <=> d2));

  assert (d == d1);
  assert (d1 == d);
  assert (!(d2 == d));
  assert (!(d == d2));
  assert (d != d2);
  assert (d2 != d);
  assert (!(d != d1));
  assert (!(d1 != d));

  assert (d2 < d);
  assert (d2 <= d);
  assert (d1 <= d);
  assert (d > d2);
  assert (d >= d2);
  assert (d >= d1);
  assert (d <= d1);
}

int main()
{
  f<int>();
}