annotate gcc/testsuite/g++.dg/overload/builtin4.C @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 2b5abeee2509
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
152
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
1 // DR 1512
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
2 // PR c++/87699
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
3 // { dg-do compile { target c++11 } }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
4
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
5 using nullptr_t = decltype(nullptr);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
6
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
7 template<typename T>
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
8 struct S { operator T(); };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
9
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
10 void
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
11 fn ()
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
12 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
13 S<nullptr_t> s;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
14 // Make sure we create a builtin operator overload candidate for == and !=.
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
15 if (s == s) { }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
16 if (s != s) { }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
17
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
18 // But not for these.
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
19 if (s > s) { } // { dg-error "no match for" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
20 if (s < s) { } // { dg-error "no match for" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
21 if (s <= s) { } // { dg-error "no match for" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
22 if (s >= s) { } // { dg-error "no match for" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
23
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
24 S<int *> r;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
25 if (s == r) { } // { dg-error "no match for" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
26 if (s != r) { } // { dg-error "no match for" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
27 if (s > r) { } // { dg-error "no match for" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
28 if (s < r) { } // { dg-error "no match for" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
29 if (s >= r) { } // { dg-error "no match for" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
30 if (s <= r) { } // { dg-error "no match for" }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
31 }