https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105589
Bug ID: 105589
Summary: [ICE] templated type alias over std::array with bound
type in template function fails
Product: gcc
Version: 12.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: cuzdav at gmail dot com
Target Milestone: ---
Created attachment 52969
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52969&action=edit
preprocessed code
Internal compiler error - new in gcc12
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/opt/imc/gcc-12.1.0/libexec/gcc/x86_64-pc-linux-gnu/12.1.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc-12.1.0/configure --prefix=/opt/imc/gcc-12.1.0
--enable-languages=c,c++,fortran,lto --disable-multilib
--with-build-time-tools=/home/trading/cuzdav/code/imc-gcc/gcc/12.1.0/INSTALLDIR//opt/imc/gcc-12.1.0/bin
--enable-libstdcxx-time=rt
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 12.1.0 (GCC)
Spent a long time minimizing it to this example, so it's contrived but small.
The user-provided constructor in the element type seems related.
The auto parameter in form() is also necessary, even if unused.
///////////////////////////////////////////////
#include <array>
struct X {
X() {}
};
template<int N>
using C = std::array<X, N>;
void form(auto) {
auto w = C<16>{};
}
///////////////////////////////////////////////
LIVE:
(Also visible on the 12.1 on godbolt)
https://godbolt.org/z/qWba56onf
OUTPUT:
foo2.cpp: In function ‘void form(auto:3)’:
foo2.cpp:11:18: internal compiler error: in build_value_init, at cp/init.cc:347
11 | auto w = C<16>{};
| ^
0x1b1211a diagnostic_impl(rich_location*, diagnostic_metadata const*, int, char
const*, __va_list_tag (*) [1], diagnostic_t)
???:0
0x13637ff internal_error(char const*, ...)
???:0
0x13638d1 fancy_abort(char const*, int, char const*)
???:0
0x7665e6 build_value_init(tree_node*, int) [clone .cold]
???:0
0x1901bb1 build_vec_init_expr(tree_node*, tree_node*, int)
???:0
0x809217 digest_init_r(tree_node*, tree_node*, int, int, int) [clone .cold]
???:0
0x157c0ca massage_init_elt(tree_node*, tree_node*, int, int, int)
???:0
0x8096e7 digest_init_r(tree_node*, tree_node*, int, int, int) [clone .cold]
???:0
0x18ff96c finish_compound_literal(tree_node*, tree_node*, int, fcl_t)
???:0
0x15453de cp_parser_functional_cast(cp_parser*, tree_node*)
???:0
0x153e4ac cp_parser_postfix_expression(cp_parser*, bool, bool, bool, bool,
cp_id_kind*)
???:0
0x153c5dc cp_parser_binary_expression(cp_parser*, bool, bool, bool,
cp_parser_prec, cp_id_kind*)
???:0
0x153c2b2 cp_parser_assignment_expression(cp_parser*, cp_id_kind*, bool, bool)
???:0
0x153c130 cp_parser_constant_expression(cp_parser*, int, bool*, bool)
???:0
0x153bf7b cp_parser_initializer(cp_parser*, bool*, bool*, bool)
???:0
0x7a2ea4 cp_parser_init_declarator(cp_parser*, int, cp_decl_specifier_seq*,
vec<deferred_access_check, va_gc, vl_embed>*, bool, bool, int, bool*,
tree_node**, unsigned int*, tree_node**) [clone .cold]
???:0
0x15300c5 cp_parser_simple_declaration(cp_parser*, bool, tree_node**)
???:0
0x1542170 cp_parser_declaration_statement(cp_parser*)
???:0
0x1540bf3 cp_parser_statement(cp_parser*, tree_node*, bool, bool*,
vec<tree_node*, va_heap, vl_ptr>*, unsigned int*)
???:0
0x1540657 cp_parser_compound_statement(cp_parser*, tree_node*, int, bool)
???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
Preprocessed code attached.
