From 15b57c0ffe8ac9d568e76e70244cf723b72b1a82 Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Wed, 6 Oct 2021 17:12:02 -0400 Subject: [PATCH] c++: One more spaceship test. To: gcc-patches@gcc.gnu.org Jakub suggested adding a variant where we actually try to call the implicitly deleted operator. gcc/testsuite/ChangeLog: * g++.dg/cpp2a/spaceship-synth8a.C: New test. --- .../g++.dg/cpp2a/spaceship-synth8a.C | 25 +++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 gcc/testsuite/g++.dg/cpp2a/spaceship-synth8a.C diff --git a/gcc/testsuite/g++.dg/cpp2a/spaceship-synth8a.C b/gcc/testsuite/g++.dg/cpp2a/spaceship-synth8a.C new file mode 100644 index 00000000000..42a32da77f9 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp2a/spaceship-synth8a.C @@ -0,0 +1,25 @@ +// PR c++/94907 +// { dg-do compile { target c++20 } } + +namespace std { struct strong_ordering { + int _v; + constexpr strong_ordering (int v) :_v(v) {} + constexpr operator int (void) const { return _v; } + static const strong_ordering less; + static const strong_ordering equal; + static const strong_ordering greater; +}; +constexpr strong_ordering strong_ordering::less = -1; +constexpr strong_ordering strong_ordering::equal = 0; +constexpr strong_ordering strong_ordering::greater = 1; +} + +struct E; +struct D { + virtual std::strong_ordering operator<=>(const struct E&) const = 0; +}; +struct E : D { // { dg-error "no match" } + std::strong_ordering operator<=>(const E&) const override = default; // { dg-message "default" } +}; + +auto x = E() <=> E(); // { dg-error "deleted" } -- 2.27.0