[Bug c/100545] New: ICE with -g: in gen_typedef_die, at dwarf2out.c:25714

[Bug c/100545] New: ICE with -g: in gen_typedef_die, at dwarf2out.c:25714

[cnsun at uwaterloo dot ca]

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

            Bug ID: 100545
           Summary: ICE with -g: in gen_typedef_die, at dwarf2out.c:25714
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: cnsun at uwaterloo dot ca
  Target Milestone: ---

$ gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/scratch/software/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /tmp/tmp.FUbEknNORK-gcc-builder/gcc/configure
--enable-languages=c,c++,lto --enable-checking-yes --enable-multiarch
--prefix=/scratch/software/gcc-trunk --disable-bootstrap
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 12.0.0 20210511 (experimental) [master revision
:7db32cac8:aa891c56f25baac94db004e309d1b6e40b770a95] (GCC)

$ cat mutant.c
typedef __attribute__((mode(SI))) fatp_t __attribute__((aligned));

$ gcc-trunk -g mutant.c
mutant.c:1:35: warning: type defaults to ‘int’ in declaration of ‘fatp_t’
[-Wimplicit-int]
    1 | typedef __attribute__((mode(SI))) fatp_t __attribute__((aligned));
      |                                   ^~~~~~
mutant.c:1:1: internal compiler error: in gen_typedef_die, at dwarf2out.c:25714
    1 | typedef __attribute__((mode(SI))) fatp_t __attribute__((aligned));
      | ^~~~~~~
0x6a6c97 gen_typedef_die
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/dwarf2out.c:25714
0x6a6c97 gen_typedef_die
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/dwarf2out.c:25686
0xb1d4b9 gen_decl_die
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/dwarf2out.c:26718
0xb1ec96 dwarf2out_decl
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/dwarf2out.c:27270
0xb1f180 dwarf2out_type_decl
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/dwarf2out.c:26988
0xb1f180 dwarf2out_type_decl
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/dwarf2out.c:26983
0xe0a48a rest_of_decl_compilation(tree_node*, int, int)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/passes.c:251
0x8dffe7 finish_decl(tree_node*, unsigned int, tree_node*, tree_node*,
tree_node*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/c-decl.c:5603
0x9431ab c_parser_declaration_or_fndef
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/c-parser.c:2370
0x94b9d3 c_parser_external_declaration
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/c-parser.c:1777
0x94c439 c_parser_translation_unit
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/c-parser.c:1650
0x94c439 c_parse_file()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c/c-parser.c:21984
0x9ac765 c_common_parse_file()
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/c-family/c-opts.c:1218
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug c/100545] ICE with -g: in gen_typedef_die with mode attribute and aligned attribute

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|debug                       |c

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
  if (DECL_ORIGINAL_TYPE (decl))
    {
      type = DECL_ORIGINAL_TYPE (decl);
      if (type == error_mark_node)
        return;

      gcc_assert (type != TREE_TYPE (decl));

I suspect an error in attribute processing / type setup.

[Bug c/100545] ICE with -g: in gen_typedef_die with mode attribute and aligned attribute

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-12-12
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=101533
      Known to fail|                            |4.1.2
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.

[Bug c/100545] ICE with -g: in gen_typedef_die with mode attribute and aligned attribute

[jason at gcc dot gnu.org]

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

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

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

[Bug c/100545] ICE with -g: in gen_typedef_die with mode attribute and aligned attribute

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Created attachment 52829
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52829&action=edit
fix

[Bug c/100545] ICE with -g: in gen_typedef_die with mode attribute and aligned attribute

[cvs-commit at gcc dot gnu.org]

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

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

commit r13-57-g0aa277bf0b4b794314ab3f11bab438d17b57465d
Author: Jason Merrill <jason@redhat.com>
Date:   Fri Apr 15 16:27:05 2022 -0400

    c-family: attribute ((aligned, mode)) [PR100545]

    The problem here was that handle_mode_attribute clobbered the changes of
any
    previous attribute, only copying type qualifiers to the new type.  And
    common_handle_aligned_attribute had previously set up the typedef, so when
    we later called set_underlying_type it saw DECL_ORIGINAL_TYPE set and just
    returned, even though handle_mode_attribute had messed up the TREE_TYPE.
    So, let's fix handle_mode_attribute to copy attributes, alignment, and
    typedefness to the new type.

            PR c/100545

    gcc/c-family/ChangeLog:

            * c-attribs.cc (handle_mode_attribute): Copy attributes, aligned,
            and typedef.
            * c-common.cc (set_underlying_type): Add assert.

    gcc/testsuite/ChangeLog:

            * c-c++-common/attr-mode-1.c: New test.
            * c-c++-common/attr-mode-2.c: New test.