[Bug c++/100261] New: [11/12 Regression] ICE: tree check: expected var_decl or type_decl, have error_mark in emit_tinfo_decl, at cp/rtti.c:1643

[Bug c++/100261] New: [11/12 Regression] ICE: tree check: expected var_decl or type_decl, have error_mark in emit_tinfo_decl, at cp/rtti.c:1643

[asolokha at gmx dot com]

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

            Bug ID: 100261
           Summary: [11/12 Regression] ICE: tree check: expected var_decl
                    or type_decl, have error_mark in emit_tinfo_decl, at
                    cp/rtti.c:1643
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-11.0.1-alpha20210418 snapshot (g:b412ce8e961052e6becea3bc783a53e1d5feaa0f)
ICEs when compiling the following testcase, reduced from
libstdc++-v3/testsuite/18_support/type_info/fundamental.cc:

#include <typeinfo>

namespace std {
  namespace decimal {
    class decimal32 {
      float private__decfloat32;
    };
  }
}

void
foo ()
{
  typeid (float);
  typeid (std::decimal::decimal32);
}

% g++-11.0.1 -c dvovnhjr.cc
dvovnhjr.cc:15:34: error: conflicting declaration 'const
__class_type_info_pseudo_8 _ZTIf'
   15 |   typeid (std::decimal::decimal32);
      |                                  ^
dvovnhjr.cc:14:16: note: previous declaration as 'const
__fundamental_type_info_pseudo_2 _ZTIf'
   14 |   typeid (float);
      |                ^
dvovnhjr.cc:16:1: internal compiler error: tree check: expected var_decl or
type_decl, have error_mark in emit_tinfo_decl, at cp/rtti.c:1643
   16 | }
      | ^
0x814248 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
       
/var/tmp/portage/sys-devel/gcc-11.0.1_alpha20210418/work/gcc-11-20210418/gcc/tree.c:9816
0x6c3715 tree_check2(tree_node*, char const*, int, char const*, tree_code,
tree_code)
       
/var/tmp/portage/sys-devel/gcc-11.0.1_alpha20210418/work/gcc-11-20210418/gcc/tree.h:3372
0x6c3715 emit_tinfo_decl(tree_node*)
       
/var/tmp/portage/sys-devel/gcc-11.0.1_alpha20210418/work/gcc-11-20210418/gcc/cp/rtti.c:1643
0x99d5cc c_parse_final_cleanups()
       
/var/tmp/portage/sys-devel/gcc-11.0.1_alpha20210418/work/gcc-11-20210418/gcc/cp/decl2.c:4994

[Bug c++/100261] [11/12 Regression] ICE: tree check: expected var_decl or type_decl, have error_mark in emit_tinfo_decl, at cp/rtti.c:1643

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
           Priority|P3                          |P2
   Target Milestone|---                         |11.2
   Last reconfirmed|                            |2021-04-26
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
      Known to work|                            |10.3.0

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.

[Bug c++/100261] [11/12 Regression] ICE: tree check: expected var_decl or type_decl, have error_mark in emit_tinfo_decl, at cp/rtti.c:1643

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Started with r11-4656.

[Bug c++/100261] [11/12 Regression] ICE: tree check: expected var_decl or type_decl, have error_mark in emit_tinfo_decl, at cp/rtti.c:1643

[jason at gcc dot gnu.org]

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

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

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

[Bug c++/100261] [11/12 Regression] ICE: tree check: expected var_decl or type_decl, have error_mark in emit_tinfo_decl, at cp/rtti.c:1643

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 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:01b2864757540d24c4e717a77b40b29369c064b2

commit r12-895-g01b2864757540d24c4e717a77b40b29369c064b2
Author: Jason Merrill <jason@redhat.com>
Date:   Tue May 18 17:15:42 2021 -0400

    c++: ICE with bad definition of decimal32 [PR100261]

    The change to only look at the global binding for non-classes meant that
    here, when dealing with decimal32 which is magically mangled like its first
    non-static data member, we got a collision with the mangling for float.
    Fixed by also looking up an existing binding for such magical classes.

            PR c++/100261

    gcc/cp/ChangeLog:

            * rtti.c (get_tinfo_decl_direct): Check TYPE_TRANSPARENT_AGGR.

    gcc/testsuite/ChangeLog:

            * g++.dg/dfp/mangle-6.C: New test.

[Bug c++/100261] [11/12 Regression] ICE: tree check: expected var_decl or type_decl, have error_mark in emit_tinfo_decl, at cp/rtti.c:1643

[cvs-commit at gcc dot gnu.org]

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

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

commit r11-8434-gfff482625ab184210d9121515b9ea98945dc0b6f
Author: Jason Merrill <jason@redhat.com>
Date:   Tue May 18 17:15:42 2021 -0400

    c++: ICE with bad definition of decimal32 [PR100261]

    The change to only look at the global binding for non-classes meant that
    here, when dealing with decimal32 which is magically mangled like its first
    non-static data member, we got a collision with the mangling for float.
    Fixed by also looking up an existing binding for such magical classes.

            PR c++/100261

    gcc/cp/ChangeLog:

            * rtti.c (get_tinfo_decl_direct): Check TYPE_TRANSPARENT_AGGR.

    gcc/testsuite/ChangeLog:

            * g++.dg/dfp/mangle-6.C: New test.

[Bug c++/100261] [11/12 Regression] ICE: tree check: expected var_decl or type_decl, have error_mark in emit_tinfo_decl, at cp/rtti.c:1643

[jason at gcc dot gnu.org]

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

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

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

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