[Bug tree-optimization/71084] New: [7 Regression] ICE in compute_dominance_frontiers_1 (cfganal.c:1302)

[marxin at gcc dot gnu.org]

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

            Bug ID: 71084
           Summary: [7 Regression] ICE in compute_dominance_frontiers_1
                    (cfganal.c:1302)
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
  Target Milestone: ---

Hi.

Current trunk produces ICE for the following code snippet:

enum {
  GIMP_RGB_IMAGE,
  GIMP_RGBA_IMAGE,
  GIMP_GRAY_IMAGE,
  GIMP_GRAYA_IMAGE,
  GIMP_INDEXED_IMAGE
} run_i;
run_height;
fn1() {
  int type, width;
  if (_setjmp())
    switch (type) {
    case GIMP_RGB_IMAGE:
      babl_format();
    case GIMP_RGBA_IMAGE:
    case GIMP_GRAY_IMAGE:
      babl_format();
    case GIMP_GRAYA_IMAGE:
    case GIMP_INDEXED_IMAGE:
      gimp_drawable_get_format();
    }
  for (; run_height;)
    for (; run_i < fn1; ++run_i)
      for (; width;)
        ;
}

$ gcc tc.i -O2 -c

tc.i:26:1: internal compiler error: Segmentation fault
 }
 ^
0xa41fcf crash_signal
        ../../gcc/toplev.c:333
0x6fecf5 compute_dominance_frontiers_1
        ../../gcc/cfganal.c:1302
0x6fecf5 compute_dominance_frontiers(bitmap_head*)
        ../../gcc/cfganal.c:1319
0x75b47d df_md_local_compute
        ../../gcc/df-problems.c:4543
0x753ca1 df_analyze_problem(dataflow*, bitmap_head*, int*, int)
        ../../gcc/df-core.c:1174
0x753dcc df_analyze_1
        ../../gcc/df-core.c:1229
0xf9d2f4 build_single_def_use_links
        ../../gcc/fwprop.c:283
0xf9d2f4 fwprop_init
        ../../gcc/fwprop.c:1423
0xf9d835 fwprop_addr
        ../../gcc/fwprop.c:1529
0xf9d835 execute
        ../../gcc/fwprop.c:1572

Thanks,
Martin