]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
c++: defaulted op== for incomplete class [PR107291]
authorJason Merrill <jason@redhat.com>
Tue, 6 Feb 2024 00:56:45 +0000 (19:56 -0500)
committerJason Merrill <jason@redhat.com>
Tue, 6 Feb 2024 02:29:43 +0000 (21:29 -0500)
After complaining about lack of friendship, we should not try to go on and
define the defaulted comparison operator anyway.

PR c++/107291

gcc/cp/ChangeLog:

* method.cc (early_check_defaulted_comparison): Fail if not friend.

gcc/testsuite/ChangeLog:

* g++.dg/cpp2a/spaceship-eq17.C: New test.

gcc/cp/method.cc
gcc/testsuite/g++.dg/cpp2a/spaceship-eq17.C [new file with mode: 0644]

index d49e5a565e823aba7a23fcf746e037408379dbb3..3b8dc75d1986f9e7b708766a07051aa8b003a708 100644 (file)
@@ -1228,7 +1228,11 @@ early_check_defaulted_comparison (tree fn)
          /* Defaulted outside the class body.  */
          ctx = TYPE_MAIN_VARIANT (parmtype);
          if (!is_friend (ctx, fn))
-           error_at (loc, "defaulted %qD is not a friend of %qT", fn, ctx);
+           {
+             error_at (loc, "defaulted %qD is not a friend of %qT", fn, ctx);
+             inform (location_of (ctx), "declared here");
+             ok = false;
+           }
        }
       else if (!same_type_ignoring_top_level_qualifiers_p (parmtype, ctx))
        saw_bad = true;
diff --git a/gcc/testsuite/g++.dg/cpp2a/spaceship-eq17.C b/gcc/testsuite/g++.dg/cpp2a/spaceship-eq17.C
new file mode 100644 (file)
index 0000000..039bfac
--- /dev/null
@@ -0,0 +1,5 @@
+// PR c++/107291
+// { dg-do compile { target c++20 } }
+
+struct S4;                                        // { dg-message "declared here" }
+bool operator==(S4 const &, S4 const &) = default; // { dg-error "not a friend" }