[Bug c++/84729] New: internal compiler error: verify_gimple failed

[vegard.nossum at gmail dot com]

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

            Bug ID: 84729
           Summary: internal compiler error: verify_gimple failed
           Product: gcc
           Version: 8.0.1
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vegard.nossum at gmail dot com
                CC: webrown.cpp at gmail dot com
  Target Milestone: ---

Input:

typedef int b[2];

void a() {
  new b(a);
}

Output:

$ xgcc -x c++ -S -std=c++14 -fpermissive -fno-toplevel-reorder -
<stdin>: In function 'void a()':
<stdin>:4:10: warning: parenthesized initializer in array new [-fpermissive]
<stdin>:3:6: error: non-trivial conversion at assignment
int
void <T85> (void)
*D.2125 = a.1_1;
<stdin>:3:6: internal compiler error: verify_gimple failed
0x32b4a77 verify_gimple_in_seq(gimple*)
        /home/vegard/git/gcc/gcc/tree-cfg.c:5247
0x2232b54 gimplify_body(tree_node*, bool)
        /home/vegard/git/gcc/gcc/gimplify.c:12710
0x2233a20 gimplify_function_tree(tree_node*)
        /home/vegard/git/gcc/gcc/gimplify.c:12800
0x199ff87 cgraph_node::analyze()
        /home/vegard/git/gcc/gcc/cgraphunit.c:670
0x19b305b analyze_functions
        /home/vegard/git/gcc/gcc/cgraphunit.c:1131
0x19b7d71 symbol_table::finalize_compilation_unit()
        /home/vegard/git/gcc/gcc/cgraphunit.c:2691

$ xgcc --version
xgcc (GCC) 8.0.1 20180306 (experimental)

Built from git 11a93d7a09b871b3b9a2eb108eb91ad83d94e070 (r258271).

Seems to have appeared between 4.6.4 and 4.7.1.

Test case was minimised by C-Reduce.