[Bug c/105492] New: [13 Regression] ICE in set_underlying_type, at c-family/c-common.cc:8164

[Bug c/105492] New: [13 Regression] ICE in set_underlying_type, at c-family/c-common.cc:8164

[asolokha at gmx dot com]

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

            Bug ID: 105492
           Summary: [13 Regression] ICE in set_underlying_type, at
                    c-family/c-common.cc:8164
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
                CC: jason at gcc dot gnu.org
  Target Milestone: ---
            Target: powerpc-*-linux-gnu

g++ (and gcc as well) 13.0.0 20220501 snapshot
(g:75bbc3da3e5f75f683fa33e309045c582efd20eb) ICEs when compiling
gcc/testsuite/gcc.target/powerpc/pr83660.C w/ -maltivec:

% powerpc-e300c3-linux-gnu-g++-13.0.0 -maltivec -c
gcc/testsuite/gcc.target/powerpc/pr83660.C
gcc/testsuite/gcc.target/powerpc/pr83660.C:7:73: internal compiler error: in
set_underlying_type, at c-family/c-common.cc:8164
    7 | typedef __vector unsigned int  uvec32_t 
__attribute__((__aligned__(16)));
      |                                                                        
^
0x6c4f25 set_underlying_type(tree_node*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20220501/work/gcc-13-20220501/gcc/c-family/c-common.cc:8164
0xa27fb3 pushdecl(tree_node*, bool)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20220501/work/gcc-13-20220501/gcc/cp/name-lookup.cc:3801
0x978103 start_decl(cp_declarator const*, cp_decl_specifier_seq*, int,
tree_node*, tree_node*, tree_node**)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20220501/work/gcc-13-20220501/gcc/cp/decl.cc:5764
0xa74fa5 cp_parser_init_declarator
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20220501/work/gcc-13-20220501/gcc/cp/parser.cc:22695
0xa4f6a3 cp_parser_simple_declaration
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20220501/work/gcc-13-20220501/gcc/cp/parser.cc:15280
0xa808f5 cp_parser_declaration
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20220501/work/gcc-13-20220501/gcc/cp/parser.cc:14966
0xa8137a cp_parser_toplevel_declaration
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20220501/work/gcc-13-20220501/gcc/cp/parser.cc:14987
0xa8137a cp_parser_translation_unit
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20220501/work/gcc-13-20220501/gcc/cp/parser.cc:5010
0xa8137a c_parse_file()
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20220501/work/gcc-13-20220501/gcc/cp/parser.cc:48113
0xbbd5dd c_common_parse_file()
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20220501/work/gcc-13-20220501/gcc/c-family/c-opts.cc:1240

The failing assert was introduced in r13-57-g0aa277bf0b4b7943.

[Bug c/105492] [13 Regression] ICE in set_underlying_type, at c-family/c-common.cc:8164

[rguenth at gcc dot gnu.org]

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

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

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

[Bug c/105492] [13 Regression] ICE in set_underlying_type, at c-family/c-common.cc:8164 since r13-57-g0aa277bf0b4b7943

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org
   Last reconfirmed|                            |2022-05-05
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
            Summary|[13 Regression] ICE in      |[13 Regression] ICE in
                   |set_underlying_type, at     |set_underlying_type, at
                   |c-family/c-common.cc:8164   |c-family/c-common.cc:8164
                   |                            |since
                   |                            |r13-57-g0aa277bf0b4b7943

[Bug c/105492] [13 Regression] ICE in set_underlying_type, at c-family/c-common.cc:8164 since r13-57-g0aa277bf0b4b7943

[jason at gcc dot gnu.org]

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

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

[Bug c/105492] [13 Regression] ICE in set_underlying_type, at c-family/c-common.cc:8164 since r13-57-g0aa277bf0b4b7943

[slyfox at gcc dot gnu.org]

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

Sergei Trofimovich <slyfox at gcc dot gnu.org> changed:

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

--- Comment #1 from Sergei Trofimovich <slyfox at gcc dot gnu.org> ---
I similar ICE proxmark3-3.1.0 on x86_64-pc-linux-gnu as well:

$ cat a.c.c
typedef int __attribute__((aligned)) __attribute__((vector_size(8)))
bitslice_value_t;

$ /tmp/gb/gcc/xgcc -B/tmp/gb/gcc -c a.c.c |& ungcc |& unnix

a.c.c:2:1: internal compiler error: in set_underlying_type, at
c-family/c-common.cc:8164
    2 | bitslice_value_t;
      | ^~~~~~~~~~~~~~~~
0x796076 set_underlying_type(tree_node*)
        <<GCC>>/gcc/c-family/c-common.cc:8164
0x6be37a pushdecl(tree_node*)
        <<GCC>>/gcc/c/c-decl.cc:3324
0x6d4ed7 start_decl(c_declarator*, c_declspecs*, bool, tree_node*, unsigned
int*)
        <<GCC>>/gcc/c/c-decl.cc:5285
0x74ec13 c_parser_declaration_or_fndef
        <<GCC>>/gcc/c/c-parser.cc:2315
0x759215 c_parser_external_declaration
        <<GCC>>/gcc/c/c-parser.cc:1787
0x759d45 c_parser_translation_unit
        <<GCC>>/gcc/c/c-parser.cc:1660
0x759d45 c_parse_file()
        <<GCC>>/gcc/c/c-parser.cc:23384
0x7cbfe7 c_common_parse_file()
        <<GCC>>/gcc/c-family/c-opts.cc:1235

$ /tmp/gb/gcc/xgcc -B/tmp/gb/gcc -v

Reading specs from /tmp/gb/gcc/specs
COLLECT_GCC=/tmp/gb/gcc/xgcc
COLLECT_LTO_WRAPPER=/tmp/gb/gcc/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: <<GCC>>/configure --disable-multilib --disable-bootstrap
--with-native-system-header-dir=/<<NIX>>/glibc-2.34-115-dev/include
--prefix=/tmp/gb/__td__ CFLAGS='-O1 -ggdb3' CXXFLAGS='-O1 -ggdb3' LDFLAGS='-O1
-ggdb3'
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 13.0.0 20220515 (experimental) (GCC)

[Bug c/105492] [13 Regression] ICE in set_underlying_type, at c-family/c-common.cc:8164 since r13-57-g0aa277bf0b4b7943

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code, patch
           Priority|P3                          |P1

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
Patch still waiting for approval.

https://gcc.gnu.org/pipermail/gcc-patches/2022-May/594135.html

[Bug c/105492] [13 Regression] ICE in set_underlying_type, at c-family/c-common.cc:8164 since r13-57-g0aa277bf0b4b7943

[cvs-commit at gcc dot gnu.org]

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

--- 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:ed12749a3c9d9569a2c23df2e0db2136dcd3512d

commit r13-515-ged12749a3c9d9569a2c23df2e0db2136dcd3512d
Author: Jason Merrill <jason@redhat.com>
Date:   Thu May 5 11:03:44 2022 -0400

    attribs: fix typedefs in generic code [PR105492]

    In my patch for PR100545 I added an assert to check for broken typedefs in
    set_underlying_type, and it found one in this case:
    rs6000_handle_altivec_attribute had the same problem as
    handle_mode_attribute.  So let's move the fixup into decl_attributes.

            PR c/105492

    gcc/ChangeLog:

            * attribs.cc (decl_attributes): Fix broken typedefs here.

    gcc/c-family/ChangeLog:

            * c-attribs.cc (handle_mode_attribute): Don't fix broken typedefs
            here.

[Bug c/105492] [13 Regression] ICE in set_underlying_type, at c-family/c-common.cc:8164 since r13-57-g0aa277bf0b4b7943

[jason at gcc dot gnu.org]

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

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.