[Bug tree-optimization/81226] New: [6/7/8 Regression] Graphite ICE in outer_projection_mupa, at graphite-sese-to-poly.c:1019

["marxin at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 81226
           Summary: [6/7/8 Regression] Graphite ICE in
                    outer_projection_mupa, at graphite-sese-to-poly.c:1019
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
  Target Milestone: ---

Following ICEs:

$ cat ice.c
int a;
int b[0];
int
c ()
{
  int d, e;
  if (d == 0)
    {
      b[e] = d;
      if (d)
        for (; e; e++)
          b[e] = d;
    }
  for (; e <= 40; e++)
    b[e] = d;
  return a;
}

$ gcc -c -fno-tree-dominator-opts -floop-nest-optimize -O2 ice.c
during GIMPLE pass: graphite
ice.c: In function ‘c’:
ice.c:4:1: internal compiler error: in outer_projection_mupa, at
graphite-sese-to-poly.c:1019
 c ()
 ^
0x12fa186 outer_projection_mupa
        ../../gcc/graphite-sese-to-poly.c:1019
0x12fa186 add_loop_schedule
        ../../gcc/graphite-sese-to-poly.c:1067
0x12faa45 build_schedule_loop_nest
        ../../gcc/graphite-sese-to-poly.c:1163
0x12fcf85 build_original_schedule
        ../../gcc/graphite-sese-to-poly.c:1181
0x12fcf85 build_poly_scop(scop*)
        ../../gcc/graphite-sese-to-poly.c:1209
0x12e62fd graphite_transform_loops()
        ../../gcc/graphite.c:334
0x12e6c60 graphite_transforms
        ../../gcc/graphite.c:376
0x12e6c60 execute
        ../../gcc/graphite.c:453