[Bug c++/101748] New: ICE: tree check: expected record_type or union_type or qual_union_type, have vector_type in digest_init_r, at cp/typeck2.c:1206

[Bug c++/101748] New: ICE: tree check: expected record_type or union_type or qual_union_type, have vector_type in digest_init_r, at cp/typeck2.c:1206

[asolokha at gmx dot com]

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

            Bug ID: 101748
           Summary: ICE: tree check: expected record_type or union_type or
                    qual_union_type, have vector_type in digest_init_r, at
                    cp/typeck2.c:1206
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
                CC: acoplan at gcc dot gnu.org
  Target Milestone: ---
            Target: aarch64-linux-gnu

g++-12.0.0-alpha20210801 snapshot (g:6f0c43e97825ee54e3779afbedcd0def12443001),
g++ 11.1, g++ 10.3 all ICE when compiling the following testcase, reduced from
test/SemaCXX/sizeless-1.cpp from the clang 12.0.0 test suite:

void cxx_only() {
  __SVInt8_t bad_brace_init_int8_5{{__SVInt8_t()}};
}

% aarch64-linux-gnu-g++-12.0.0 -c s4yu6ufy.cpp
s4yu6ufy.cpp: In function 'void cxx_only()':
s4yu6ufy.cpp:2:50: internal compiler error: tree check: expected record_type or
union_type or qual_union_type, have vector_type in digest_init_r, at
cp/typeck2.c:1206
    2 |   __SVInt8_t bad_brace_init_int8_5{{__SVInt8_t()}};
      |                                                  ^
0x8e7638 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/tree.c:8686
0x794630 tree_check3(tree_node*, char const*, int, char const*, tree_code,
tree_code, tree_code)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/tree.h:3413
0x794630 digest_init_r
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/typeck2.c:1206
0xc508fd store_init_value(tree_node*, tree_node*, vec<tree_node*, va_gc,
vl_embed>**, int)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/typeck2.c:742
0xa55f07 check_initializer
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/decl.c:7185
0xa7d9aa cp_finish_decl(tree_node*, tree_node*, bool, tree_node*, int)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/decl.c:8119
0xb70b67 cp_parser_init_declarator
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:22344
0xb4aeed cp_parser_simple_declaration
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:14887
0xb4d09d cp_parser_declaration_statement
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:13987
0xb4d87a cp_parser_statement
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:12117
0xb4e82e cp_parser_statement_seq_opt
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:12484
0xb4e920 cp_parser_compound_statement
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:12433
0xb6de8f cp_parser_function_body
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:24534
0xb6de8f cp_parser_ctor_initializer_opt_and_function_body
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:24585
0xb6fbfa cp_parser_function_definition_after_declarator
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:30658
0xb710cd cp_parser_function_definition_from_specifiers_and_declarator
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:30574
0xb710cd cp_parser_init_declarator
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:22106
0xb4aeed cp_parser_simple_declaration
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:14887
0xb7bfe0 cp_parser_declaration
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:14592
0xb7caa3 cp_parser_toplevel_declaration
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-12.0.0_alpha20210801/work/gcc-12-20210801/gcc/cp/parser.c:14613

Removing the extraneous braces around __SVInt8_t initializer yields PR99867,
though.

[Bug c++/101748] ICE: tree check: expected record_type or union_type or qual_union_type, have vector_type in digest_init_r, at cp/typeck2.c:1206

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-11-09
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot gnu.org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1
         Depends on|                            |99657

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Mine.

With the patch I have for PR 99657, I get an error at least but still an ICE.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99657
[Bug 99657] ICE: in extract_insn, at recog.c:2769 (error: unrecognizable insn)

[Bug c++/101748] ICE: tree check in digest_init_r with SVE vector type and extra {}

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE: tree check: expected   |ICE: tree check in
                   |record_type or union_type   |digest_init_r with SVE
                   |or qual_union_type, have    |vector type and extra {}
                   |vector_type in              |
                   |digest_init_r, at           |
                   |cp/typeck2.c:1206           |
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=99657
         Depends on|99657                       |

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Though with -march=armv8.6-a+sve, I still get an ICE. I will debug this after I
submit the patch for PR 99657 because it is not fully related.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99657
[Bug 99657] ICE: in extract_insn, at recog.c:2769 (error: unrecognizable insn)