[Bug c++/84541] New: [8 Regression] ICE with auto in function parameter

[reichelt at gcc dot gnu.org]

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

            Bug ID: 84541
           Summary: [8 Regression] ICE with auto in function parameter
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: reichelt at gcc dot gnu.org
  Target Milestone: ---

The following invalid code snippet (compiled with "-fconcepts") triggers
an ICE since GCC 6.1.0:

===========================================
template<typename> struct A
{
  static const bool b = true;
};

static_assert(A<void(auto)>::b, "");
===========================================

bug.cc:6:36: internal compiler error: Segmentation fault
 static_assert(A<void(auto)>::b, "");
                                    ^
0xeb1cef crash_signal
        ../../gcc/gcc/toplev.c:325
0x99e667 add_stmt(tree_node*)
        ../../gcc/gcc/cp/semantics.c:390
0x9129e1 cp_parser_static_assert
        ../../gcc/gcc/cp/parser.c:13936
0x93d35e cp_parser_block_declaration
        ../../gcc/gcc/cp/parser.c:12866
0x940f32 cp_parser_declaration
        ../../gcc/gcc/cp/parser.c:12767
0x941341 cp_parser_declaration_seq_opt
        ../../gcc/gcc/cp/parser.c:12643
0x941634 cp_parser_translation_unit
        ../../gcc/gcc/cp/parser.c:4559
0x941634 c_parse_file()
        ../../gcc/gcc/cp/parser.c:38866
0xa3f966 c_common_parse_file()
        ../../gcc/gcc/c-family/c-opts.c:1132
Please submit a full bug report, [etc.]