[Bug c++/101099] New: [9/10/11/12 Regression] ICE in type_unification_real, at cp/pt.c:22173

[Bug c++/101099] New: [9/10/11/12 Regression] ICE in type_unification_real, at cp/pt.c:22173

[gscfq@t-online.de]

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

            Bug ID: 101099
           Summary: [9/10/11/12 Regression] ICE in type_unification_real,
                    at cp/pt.c:22173
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started with r9 between and 20190615 and 20190727, r8 accepts it.
With options -std=gnu++11 -fconcepts and several testsuite files
or the following variant :


$ cat z1.cc
#include <initializer_list>
constexpr auto list = { 1, 2, 3 };


$ g++-8 -c z1.cc -std=gnu++11 -fconcepts
$
$ g++-12-20210613 -c z1.cc -std=gnu++11 -fconcepts
z1.cc:2:33: internal compiler error: in type_unification_real, at cp/pt.c:22173
    2 | constexpr auto list = { 1, 2, 3 };
      |                                 ^
0x8313d8 type_unification_real
        ../../gcc/cp/pt.c:22173
0x819606 do_auto_deduction(tree_node*, tree_node*, tree_node*, int,
auto_deduction_context, tree_node*, int)
        ../../gcc/cp/pt.c:29619
0x745bf6 cp_finish_decl(tree_node*, tree_node*, bool, tree_node*, int)
        ../../gcc/cp/decl.c:7834
0x802791 cp_parser_init_declarator
        ../../gcc/cp/parser.c:22044
0x7e348a cp_parser_simple_declaration
        ../../gcc/cp/parser.c:14587
0x8081f5 cp_parser_declaration
        ../../gcc/cp/parser.c:14284
0x80770b cp_parser_translation_unit
        ../../gcc/cp/parser.c:4942
0x80770b c_parse_file()
        ../../gcc/cp/parser.c:45611
0x8d7412 c_common_parse_file()
        ../../gcc/c-family/c-opts.c:1219

[Bug c++/101099] [9/10/11/12 Regression] ICE in type_unification_real, at cp/pt.c:22173

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |9.5

[Bug c++/101099] [9/10/11/12 Regression] ICE in type_unification_real, at cp/pt.c:22173

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org
   Last reconfirmed|                            |2021-06-17
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r10-884-g9b79d5d3baad087f.

[Bug c++/101099] [9/10/11/12 Regression] ICE in type_unification_real, at cp/pt.c:22173

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nwentzell@flatironinstitute
                   |                            |.org

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

[Bug c++/101099] [9/10/11/12 Regression] ICE in type_unification_real, at cp/pt.c:22173

[rguenth at gcc dot gnu.org]

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

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

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

[Bug c++/101099] [10/11/12/13 Regression] ICE in type_unification_real, at cp/pt.c:22173

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |10.4

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed

[Bug c++/101099] [10/11/12/13 Regression] ICE in type_unification_real, at cp/pt.c:22173

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug c++/101099] [10/11/12/13 Regression] ICE in type_unification_real, at cp/pt.c:22173

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Looks like this was fixed in GCC 13 but I can't bisect it at the moment.

[Bug c++/101099] [10/11/12/13 Regression] ICE in type_unification_real, at cp/pt.c:22173

[marxin at gcc dot gnu.org]

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

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

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

--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> ---
Well, it's fixed since r13-3639-ga4cd2389276a30c3 which is a revision that
handles default options. Is it really fixed?

[Bug c++/101099] [10/11/12/13 Regression] ICE in type_unification_real, at cp/pt.c:22173

[mpolacek at gcc dot gnu.org]

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

--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #6)
> Well, it's fixed since r13-3639-ga4cd2389276a30c3 which is a revision that
> handles default options. Is it really fixed?

Ah, that commit explains that this is not fixed then; the ICE still happens
with -fconcepts-ts.  Low prio, but still a bug.  Thanks for the bisect.

[Bug c++/101099] [11/12/13/14 Regression] ICE in type_unification_real, at cp/pt.c:22173

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.