[Bug c++/59097] New: [4.7/4.8/4.9 Regression] ICE with invalid statement expression as array size

[reichelt at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59097

            Bug ID: 59097
           Summary: [4.7/4.8/4.9 Regression] ICE with invalid statement
                    expression as array size
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: reichelt at gcc dot gnu.org

The following invalid code snippet triggers an ICE since GCC 4.6.0:

============================
void foo()
{
  int x[({ return; })];
}
============================

bug.cc: In function 'void foo()':
bug.cc:3:22: internal compiler error: Segmentation fault
   int x[({ return; })];
                      ^
0xb2bf3f crash_signal
        ../../gcc/gcc/toplev.c:334
0x6dac34 cxx_eval_constant_expression
        ../../gcc/gcc/cp/semantics.c:9350
0x6db91b cxx_eval_constant_expression
        ../../gcc/gcc/cp/semantics.c:9453
0x6de4d6 cxx_eval_outermost_constant_expr
        ../../gcc/gcc/cp/semantics.c:9725
0x6e119b maybe_constant_value(tree_node*)
        ../../gcc/gcc/cp/semantics.c:9835
0x567450 compute_array_index_type(tree_node*, tree_node*, int)
        ../../gcc/gcc/cp/decl.c:8227
0x589075 create_array_type_for_decl
        ../../gcc/gcc/cp/decl.c:8540
0x589075 grokdeclarator(cp_declarator const*, cp_decl_specifier_seq*,
decl_context, int, tree_node**)
        ../../gcc/gcc/cp/decl.c:9486
0x58d8f4 start_decl(cp_declarator const*, cp_decl_specifier_seq*, int,
tree_node*, tree_node*, tree_node**)
        ../../gcc/gcc/cp/decl.c:4469
0x6664a2 cp_parser_init_declarator
        ../../gcc/gcc/cp/parser.c:16567
0x667edf cp_parser_simple_declaration
        ../../gcc/gcc/cp/parser.c:11107
0x64bdf0 cp_parser_block_declaration
        ../../gcc/gcc/cp/parser.c:10988
0x64cf13 cp_parser_declaration_statement
        ../../gcc/gcc/cp/parser.c:10635
0x64d587 cp_parser_statement
        ../../gcc/gcc/cp/parser.c:9376
0x64e289 cp_parser_statement_seq_opt
        ../../gcc/gcc/cp/parser.c:9654
0x64e3fe cp_parser_compound_statement
        ../../gcc/gcc/cp/parser.c:9608
0x661a8b cp_parser_function_body
        ../../gcc/gcc/cp/parser.c:18461
0x661a8b cp_parser_ctor_initializer_opt_and_function_body
        ../../gcc/gcc/cp/parser.c:18497
0x665e8f cp_parser_function_definition_after_declarator
        ../../gcc/gcc/cp/parser.c:22520
0x666c62 cp_parser_function_definition_from_specifiers_and_declarator
        ../../gcc/gcc/cp/parser.c:22441
Please submit a full bug report, [etc.]


A slightly different testcase produces a different ICE:

============================
void foo()
{
  int x[({ L: ; })];
}
============================

bug.cc: In function 'void foo()':
bug.cc:3:19: internal compiler error: unexpected expression '<statement>' of
kind label_expr
   int x[({ L: ; })];
                   ^
0x6db55d cxx_eval_constant_expression
        ../../gcc/gcc/cp/semantics.c:9705
0x6de4d6 cxx_eval_outermost_constant_expr
        ../../gcc/gcc/cp/semantics.c:9725
0x6e119b maybe_constant_value(tree_node*)
        ../../gcc/gcc/cp/semantics.c:9835
0x567450 compute_array_index_type(tree_node*, tree_node*, int)
        ../../gcc/gcc/cp/decl.c:8227
0x589075 create_array_type_for_decl
        ../../gcc/gcc/cp/decl.c:8540
0x589075 grokdeclarator(cp_declarator const*, cp_decl_specifier_seq*,
decl_context, int, tree_node**)
        ../../gcc/gcc/cp/decl.c:9486
0x58d8f4 start_decl(cp_declarator const*, cp_decl_specifier_seq*, int,
tree_node*, tree_node*, tree_node**)
        ../../gcc/gcc/cp/decl.c:4469
0x6664a2 cp_parser_init_declarator
        ../../gcc/gcc/cp/parser.c:16567
0x667edf cp_parser_simple_declaration
        ../../gcc/gcc/cp/parser.c:11107
0x64bdf0 cp_parser_block_declaration
        ../../gcc/gcc/cp/parser.c:10988
0x64cf13 cp_parser_declaration_statement
        ../../gcc/gcc/cp/parser.c:10635
0x64d587 cp_parser_statement
        ../../gcc/gcc/cp/parser.c:9376
0x64e289 cp_parser_statement_seq_opt
        ../../gcc/gcc/cp/parser.c:9654
0x64e3fe cp_parser_compound_statement
        ../../gcc/gcc/cp/parser.c:9608
0x661a8b cp_parser_function_body
        ../../gcc/gcc/cp/parser.c:18461
0x661a8b cp_parser_ctor_initializer_opt_and_function_body
        ../../gcc/gcc/cp/parser.c:18497
0x665e8f cp_parser_function_definition_after_declarator
        ../../gcc/gcc/cp/parser.c:22520
0x666c62 cp_parser_function_definition_from_specifiers_and_declarator
        ../../gcc/gcc/cp/parser.c:22441
0x666c62 cp_parser_init_declarator
        ../../gcc/gcc/cp/parser.c:16472
0x667edf cp_parser_simple_declaration
        ../../gcc/gcc/cp/parser.c:11107
Please submit a full bug report, [etc.]