[Bug c/95133] New: [9/10/11 Regression] ICE in gimple_redirect_edge_and_branch_force, at tree-cfg.c:6075

[gscfq@t-online.de]

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

            Bug ID: 95133
           Summary: [9/10/11 Regression] ICE in
                    gimple_redirect_edge_and_branch_force, at
                    tree-cfg.c:6075
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started with r8, needs option -O3 :


$ cat z1.c
extern int a[16];
void f (int *ip, int x)
{
  int *xp = a;
  for (int i=0; i<8; ++i)
  {
    base: if (x) return;
  }
  *xp++ = *ip;
  goto *(&&base + *ip);
}


$ gcc-11-20200510 -c z1.c -O2
$ gcc-11-20200510 -c z1.c -O3
during GIMPLE pass: split-paths
z1.c: In function 'f':
z1.c:2:6: internal compiler error: in gimple_redirect_edge_and_branch_force, at
tree-cfg.c:6075
    2 | void f (int *ip, int x)
      |      ^
0xd2de58 gimple_redirect_edge_and_branch_force
        ../../gcc/tree-cfg.c:6075
0x7d32a3 redirect_edge_and_branch_force(edge_def*, basic_block_def*)
        ../../gcc/cfghooks.c:490
0x7d509a duplicate_block(basic_block_def*, edge_def*, basic_block_def*,
copy_bb_data*)
        ../../gcc/cfghooks.c:1109
0xcddf05 transform_duplicate(basic_block_def*, basic_block_def*)
        ../../gcc/tracer.c:245
0x1697ae0 split_paths
        ../../gcc/gimple-ssa-split-paths.c:463
0x1697ae0 execute_split_paths
        ../../gcc/gimple-ssa-split-paths.c:503
0x1697ae0 execute
        ../../gcc/gimple-ssa-split-paths.c:540