[Bug c++/105760] New: ICE: in build_function_type, at tree.cc:7365

[Bug c++/105760] New: ICE: in build_function_type, at tree.cc:7365

[hewillk at gmail dot com]

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

            Bug ID: 105760
           Summary: ICE: in build_function_type, at tree.cc:7365
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hewillk at gmail dot com
  Target Milestone: ---

13 Regression

template<class... Ts, class>
struct A { A(Ts...); };
A a;

https://godbolt.org/z/qeYGz1Yov

[Bug c++/105760] ICE: in build_function_type, at tree.cc:7365

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
   Last reconfirmed|                            |2022-05-30
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Likely started with r11-2748-gb871301f09be7061.

[Bug c++/105760] [11/12/13/14 Regression] ICE: in build_function_type, at tree.cc:7365

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE: in                     |[11/12/13/14 Regression]
                   |build_function_type, at     |ICE: in
                   |tree.cc:7365                |build_function_type, at
                   |                            |tree.cc:7365
      Known to work|                            |10.4.0
      Known to fail|                            |11.1.0
   Target Milestone|---                         |11.4
           Keywords|                            |error-recovery,
                   |                            |ice-checking

[Bug c++/105760] [11/12/13/14 Regression] ICE: in build_function_type, at tree.cc:7365

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|11.4                        |11.5

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 11.4 is being released, retargeting bugs to GCC 11.5.

[Bug c++/105760] [11/12/13/14 Regression] ICE: in build_function_type, at tree.cc:7365

[law at gcc dot gnu.org]

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

Jeffrey A. Law <law at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
                 CC|                            |law at gcc dot gnu.org

[Bug c++/105760] [11/12/13/14/15 Regression] ICE: in build_function_type, at tree.cc:7365

[simartin at gcc dot gnu.org]

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

Simon Martin <simartin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |simartin at gcc dot gnu.org

--- Comment #3 from Simon Martin <simartin at gcc dot gnu.org> ---
Working on this one...

[Bug c++/105760] [11/12/13/14/15 Regression] ICE: in build_function_type, at tree.cc:7365

[simartin at gcc dot gnu.org]

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

Simon Martin <simartin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

[Bug c++/105760] [11/12/13/14/15 Regression] ICE: in build_function_type, at tree.cc:7365

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 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:0003e469d4664397b65080a66ad7d6557bd7ffce

commit r15-495-g0003e469d4664397b65080a66ad7d6557bd7ffce
Author: Simon Martin <simon-l.martin@laposte.net>
Date:   Mon May 6 15:20:10 2024 +0200

    c++: ICE in build_deduction_guide for invalid template [PR105760]

    We currently ICE upon the following invalid snippet because we fail to
    properly handle tsubst_arg_types returning error_mark_node in
    build_deduction_guide.

    == cut ==
    template<class... Ts, class>
    struct A { A(Ts...); };
    A a;
    == cut ==

    This patch fixes this, and has been successfully tested on
x86_64-pc-linux-gnu.

            PR c++/105760

    gcc/cp/ChangeLog:

            * pt.cc (build_deduction_guide): Check for error_mark_node
            result from tsubst_arg_types.

    gcc/testsuite/ChangeLog:

            * g++.dg/parse/error66.C: New test.

[Bug c++/105760] [11/12/13/14/15 Regression] ICE: in build_function_type, at tree.cc:7365

[simartin at gcc dot gnu.org]

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

Simon Martin <simartin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|11.5                        |14.2

--- Comment #5 from Simon Martin <simartin at gcc dot gnu.org> ---
Fixed on trunk.