[Bug c++/108542] New: [13 Regression] ICE in instantiate_type, at cp/class.cc:8833

[Bug c++/108542] New: [13 Regression] ICE in instantiate_type, at cp/class.cc:8833

[gscfq@t-online.de]

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

            Bug ID: 108542
           Summary: [13 Regression] ICE in instantiate_type, at
                    cp/class.cc:8833
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started between 20221106 and 20221120 :


$ cat z1.cc
template<typename T>
void f (T n) {}
[[pre: f]]


$ g++-13-20230122 -c z1.cc
z1.cc:3:8: internal compiler error: in instantiate_type, at cp/class.cc:8833
    3 | [[pre: f]]
      |        ^
0x7d34ef instantiate_type(tree_node*, tree_node*, int)
        ../../gcc/cp/class.cc:8833
0x7b2c27 implicit_conversion_error
        ../../gcc/cp/call.cc:4658
0x7c05bc perform_implicit_conversion_flags(tree_node*, tree_node*, int, int)
        ../../gcc/cp/call.cc:13366
0x97e5cc contextual_conv_bool(tree_node*, int)
        ../../gcc/cp/typeck.cc:6952
0x97e5cc condition_conversion(tree_node*)
        ../../gcc/cp/typeck.cc:6961
0x81665a grok_contract(tree_node*, tree_node*, tree_node*, cp_expr, unsigned
int)
        ../../gcc/cp/contracts.cc:783
0x8f0a2f cp_parser_contract_attribute_spec
        ../../gcc/cp/parser.cc:29740
0x8f0a2f cp_parser_std_attribute_spec
        ../../gcc/cp/parser.cc:29886
0x8f0a2f cp_parser_std_attribute_spec_seq
        ../../gcc/cp/parser.cc:30011
0x8f0f51 cp_parser_attributes_opt
        ../../gcc/cp/parser.cc:28909
0x8e11e7 cp_parser_decl_specifier_seq
        ../../gcc/cp/parser.cc:15734
0x8e1aa1 cp_parser_simple_declaration
        ../../gcc/cp/parser.cc:15217
0x90c638 cp_parser_declaration
        ../../gcc/cp/parser.cc:15030
0x90d010 cp_parser_translation_unit
        ../../gcc/cp/parser.cc:5090
0x90d010 c_parse_file()
        ../../gcc/cp/parser.cc:49400
0x9f4e01 c_common_parse_file()
        ../../gcc/c-family/c-opts.cc:1248

[Bug c++/108542] [13 Regression] ICE in instantiate_type, at cp/class.cc:8833

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |13.0

[Bug c++/108542] [13 Regression] ICE in instantiate_type, at cp/class.cc:8833

[marxin at gcc dot gnu.org]

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

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

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

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Confirmed.

[Bug c++/108542] [13 Regression] ICE in instantiate_type, at cp/class.cc:8833

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug c++/108542] [13 Regression] ICE in instantiate_type, at cp/class.cc:8833

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Invalid code -> downgrading to P2.

[Bug c++/108542] [13 Regression] ICE in instantiate_type, at cp/class.cc:8833

[jason at gcc dot gnu.org]

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

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

[Bug c++/108542] [13 Regression] ICE in instantiate_type, at cp/class.cc:8833

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS 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:68c5d92a1390ecccb61d3600a95eeff6caf7ccdf

commit r13-6568-g68c5d92a1390ecccb61d3600a95eeff6caf7ccdf
Author: Jason Merrill <jason@redhat.com>
Date:   Thu Mar 9 17:22:46 2023 -0500

    c++: overloaded fn in contract [PR108542]

            PR c++/108542

    gcc/cp/ChangeLog:

            * class.cc (instantiate_type): Strip location wrapper.

    gcc/testsuite/ChangeLog:

            * g++.dg/contracts/contracts-err1.C: New test.

[Bug c++/108542] [13 Regression] ICE in instantiate_type, at cp/class.cc:8833

[jason at gcc dot gnu.org]

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

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

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed.