[Bug tree-optimization/82422] New: [8 Regression][graphite] ICE in set_codegen_error, at graphite-isl-ast-to-gimple.c:248

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

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

            Bug ID: 82422
           Summary: [8 Regression][graphite] ICE in set_codegen_error, at
                    graphite-isl-ast-to-gimple.c:248
           Product: gcc
           Version: unknown
            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
                CC: rguenth at gcc dot gnu.org
  Target Milestone: ---

Starting from r253342 we ICE on:

$ cat /tmp/tmp2l_3nwgp.i
a;
b[6];
c ()
{
  int d;
  for (; d; d++)
    b[d] = 0;
  for (; d < 8; d++)
    a += b[d];
}

$ gcc -floop-nest-optimize -O2 /tmp/tmp2l_3nwgp.i
/tmp/tmp2l_3nwgp.i:1:1: warning: data definition has no type or storage class
 a;
 ^
/tmp/tmp2l_3nwgp.i:1:1: warning: type defaults to ‘int’ in declaration of ‘a’
[-Wimplicit-int]
/tmp/tmp2l_3nwgp.i:2:1: warning: data definition has no type or storage class
 b[6];
 ^
/tmp/tmp2l_3nwgp.i:2:1: warning: type defaults to ‘int’ in declaration of ‘b’
[-Wimplicit-int]
/tmp/tmp2l_3nwgp.i:3:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
 c ()
 ^
/tmp/tmp2l_3nwgp.i: In function ‘c’:
/tmp/tmp2l_3nwgp.i:9:11: warning: iteration 6 invokes undefined behavior
[-Waggressive-loop-optimizations]
     a += b[d];
          ~^~~
/tmp/tmp2l_3nwgp.i:8:3: note: within this loop
   for (; d < 8; d++)
   ^~~
during GIMPLE pass: graphite
/tmp/tmp2l_3nwgp.i:3:1: internal compiler error: in set_codegen_error, at
graphite-isl-ast-to-gimple.c:248
 c ()
 ^