[Bug c++/110084] New: defaulted constexpr operator== causes crash

[Bug c++/110084] New: defaulted constexpr operator== causes crash

[nikolasklauser at berlin dot de]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110084

            Bug ID: 110084
           Summary: defaulted constexpr operator== causes crash
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nikolasklauser at berlin dot de
  Target Milestone: ---

template <class T>
class BadTuple {
  constexpr bool operator==(const BadTuple&) const;
};
template<class T>
constexpr bool BadTuple<T>::operator==(const BadTuple<T>&) const = default;

BadTuple<int> a;

causes GCC to crash.

https://godbolt.org/z/veG6hEeP3

[Bug c++/110084] [12/13/14 Regression] defaulted constexpr operator== causes crash

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110084

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
             Status|UNCONFIRMED                 |NEW
   Target Milestone|---                         |12.4
            Summary|defaulted constexpr         |[12/13/14 Regression]
                   |operator== causes crash     |defaulted constexpr
                   |                            |operator== causes crash
   Last reconfirmed|                            |2023-06-02

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed. I suspect r12-4202-g09d886e671f2230a caused the issue ...

[Bug c++/110084] [12/13/14 Regression] defaulted constexpr operator== causes crash

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110084

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #1)
> Confirmed. I suspect r12-4202-g09d886e671f2230a caused the issue ...

Correct.

[Bug c++/110084] [12/13/14 Regression] defaulted constexpr operator== causes crash

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110084

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug c++/110084] [12/13/14 Regression] defaulted constexpr operator== causes crash

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110084

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
                 CC|                            |jason at gcc dot gnu.org

[Bug c++/110084] [12/13/14 Regression] defaulted constexpr operator== causes crash

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110084

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Jason Merrill <jason@gcc.gnu.org>:

https://gcc.gnu.org/g:e17a122d417fc0d606bcb3a3705b93ee81745cab

commit r14-8759-ge17a122d417fc0d606bcb3a3705b93ee81745cab
Author: Jason Merrill <jason@redhat.com>
Date:   Fri Feb 2 12:04:11 2024 -0500

    c++: op== defaulted outside class [PR110084]

    defaulted_late_check is for checks that need to happen after the class is
    complete; we shouldn't call it sooner.

            PR c++/110084

    gcc/cp/ChangeLog:

            * pt.cc (tsubst_function_decl): Only check a function defaulted
            outside the class if the class is complete.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/spaceship-synth-neg3.C: Check error message.
            * g++.dg/cpp2a/spaceship-eq16.C: New test.

[Bug c++/110084] [12/13/14 Regression] defaulted constexpr operator== causes crash

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110084

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Jason Merrill
<jason@gcc.gnu.org>:

https://gcc.gnu.org/g:3b5d906b2de6fd28dd3211119b70b014ab9784b5

commit r13-8273-g3b5d906b2de6fd28dd3211119b70b014ab9784b5
Author: Jason Merrill <jason@redhat.com>
Date:   Fri Feb 2 12:04:11 2024 -0500

    c++: op== defaulted outside class [PR110084]

    defaulted_late_check is for checks that need to happen after the class is
    complete; we shouldn't call it sooner.

            PR c++/110084

    gcc/cp/ChangeLog:

            * pt.cc (tsubst_function_decl): Only check a function defaulted
            outside the class if the class is complete.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/spaceship-synth-neg3.C: Check error message.
            * g++.dg/cpp2a/spaceship-eq16.C: New test.

    (cherry picked from commit e17a122d417fc0d606bcb3a3705b93ee81745cab)

[Bug c++/110084] [12/13/14 Regression] defaulted constexpr operator== causes crash

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110084

--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Jason Merrill
<jason@gcc.gnu.org>:

https://gcc.gnu.org/g:28f95c81382243fc4e6f1b22741d258f5fd7541f

commit r12-10129-g28f95c81382243fc4e6f1b22741d258f5fd7541f
Author: Jason Merrill <jason@redhat.com>
Date:   Fri Feb 2 12:04:11 2024 -0500

    c++: op== defaulted outside class [PR110084]

    defaulted_late_check is for checks that need to happen after the class is
    complete; we shouldn't call it sooner.

            PR c++/110084

    gcc/cp/ChangeLog:

            * pt.cc (tsubst_function_decl): Only check a function defaulted
            outside the class if the class is complete.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/spaceship-synth-neg3.C: Check error message.
            * g++.dg/cpp2a/spaceship-eq16.C: New test.

    (cherry picked from commit e17a122d417fc0d606bcb3a3705b93ee81745cab)

[Bug c++/110084] [12/13/14 Regression] defaulted constexpr operator== causes crash

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110084

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for 12.4/13.3/14.