[Bug c++/101051] New: [ICE] in splice_late_return_type, at cp/pt.c:29738

[Bug c++/101051] New: [ICE] in splice_late_return_type, at cp/pt.c:29738

[ldalessandro at gmail dot com]

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

            Bug ID: 101051
           Summary: [ICE] in splice_late_return_type, at cp/pt.c:29738
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ldalessandro at gmail dot com
  Target Milestone: ---

Following invalid code triggers ICE in 10, 11, and trunk.

```
template <class T>
class Foo
{
    constexpr operator T() -> T {}
};
```

[Bug c++/101051] [10/11/12 Regression] [ICE] in splice_late_return_type, at cp/pt.c:29738

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
            Summary|[ICE] in                    |[10/11/12 Regression] [ICE]
                   |splice_late_return_type, at |in splice_late_return_type,
                   |cp/pt.c:29738               |at cp/pt.c:29738
                 CC|                            |mliska at suse dot cz,
                   |                            |mpolacek at gcc dot gnu.org
   Last reconfirmed|                            |2021-06-21
     Ever confirmed|0                           |1
   Target Milestone|---                         |10.4

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed, probably mine.  Can't bisect at the moment.  Martin, would you be
able to bisect this one?

[Bug c++/101051] [10/11/12 Regression] [ICE] in splice_late_return_type, at cp/pt.c:29738 since r10-6571-ga6ee556c7659877b

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[10/11/12 Regression] [ICE] |[10/11/12 Regression] [ICE]
                   |in splice_late_return_type, |in splice_late_return_type,
                   |at cp/pt.c:29738            |at cp/pt.c:29738 since
                   |                            |r10-6571-ga6ee556c7659877b
                 CC|                            |ppalka at gcc dot gnu.org

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Sure, started with r10-6571-ga6ee556c7659877b.

[Bug c++/101051] [10/11/12 Regression] ICE in splice_late_return_type with trailing return type on a conversion operator, caused by r10-6571

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aaron at aaronballman dot com

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 101209 has been marked as a duplicate of this bug. ***

[Bug c++/101051] [10/11/12 Regression] ICE in splice_late_return_type with trailing return type on a conversion operator, caused by r10-6571

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gscfq@t-online.de

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 102506 has been marked as a duplicate of this bug. ***

[Bug c++/101051] [10/11/12 Regression] ICE in splice_late_return_type with trailing return type on a conversion operator, caused by r10-6571

[pinskia at gcc dot gnu.org]

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

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Here are the testcases all together:

template <class T>
class Foo
{
    constexpr operator T() -> T {}
};

struct S {
  operator int() const -> double;
};

class A { operator auto*() -> int; };

[Bug c++/101051] [10/11/12 Regression] ICE in splice_late_return_type with trailing return type on a conversion operator, caused by r10-6571

[rguenth at gcc dot gnu.org]

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

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

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

[Bug c++/101051] [10/11/12 Regression] ICE in splice_late_return_type with trailing return type on a conversion operator, caused by r10-6571

[jason at gcc dot gnu.org]

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

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

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

[Bug c++/101051] [10/11/12 Regression] ICE in splice_late_return_type with trailing return type on a conversion operator, caused by r10-6571

[cvs-commit at gcc dot gnu.org]

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

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

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

commit r12-8037-gf44a5c700f409b96ba923864158349700628133d
Author: Jason Merrill <jason@redhat.com>
Date:   Wed Apr 6 21:57:33 2022 -0400

    c++: conversion with trailing return type [PR101051]

    We've had a diagnostic for this, but since r10-6571 added an assert to
    splice_late_return_type, we need to diagnose before we call it.

            PR c++/101051

    gcc/cp/ChangeLog:

            * decl.cc (grokdeclarator): Reject conversion with trailing return
            sooner.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp0x/trailing15.C: New test.

[Bug c++/101051] [10/11 Regression] ICE in splice_late_return_type with trailing return type on a conversion operator, caused by r10-6571

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:25167a3d8cfc738deb4b2bfb74ad37fd8a0f1ca4

commit r11-9823-g25167a3d8cfc738deb4b2bfb74ad37fd8a0f1ca4
Author: Jason Merrill <jason@redhat.com>
Date:   Wed Apr 6 21:57:33 2022 -0400

    c++: conversion with trailing return type [PR101051]

    We've had a diagnostic for this, but since r10-6571 added an assert to
    splice_late_return_type, we need to diagnose before we call it.

            PR c++/101051

    gcc/cp/ChangeLog:

            * decl.c (grokdeclarator): Reject conversion with trailing return
            sooner.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp0x/trailing15.C: New test.

[Bug c++/101051] [10/11 Regression] ICE in splice_late_return_type with trailing return type on a conversion operator, caused by r10-6571

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
   Target Milestone|10.4                        |11.3
         Resolution|---                         |FIXED

--- Comment #8 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for 11.3/12.