[Bug tree-optimization/82563] New: [8 Regression] [graphite] ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.c:709

[asolokha at gmx dot com]

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

            Bug ID: 82563
           Summary: [8 Regression] [graphite] ICE in
                    check_loop_closed_ssa_def, at
                    tree-ssa-loop-manip.c:709
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-8.0.0-alpha20171015 (r253772) ICEs when compiling the following snippet w/
-O3 (or -Ofast) -floop-nest-optimize (or -floop-parallelize-all):

int tj, cw, xf;

void
zp (int *ei)
{
  for (;;)
    {
      int hd = 0;

      if (cw != 0 && xf != 0)
        {
          for (hd = 0; hd < 3; ++hd)
            cw = (tj != 0) ? 0 : *ei;
          for (;;)
            {
            }
        }

      while (tj != 0)
        tj = &hd;
    }
}

% gcc-8.0.0-alpha20171015 -O3 -floop-nest-optimize -w -c dyx0j2oa.c
during GIMPLE pass: graphite
dyx0j2oa.c: In function 'zp':
dyx0j2oa.c:4:1: internal compiler error: in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.c:709
 zp (int *ei)
 ^~

check_loop_closed_ssa_def() has been introduced in r253161.