[Bug tree-optimization/83238] New: [8 Regression] [graphite] ICE in graphite_can_represent_scev, at graphite-scop-detection.c:971

["asolokha at gmx dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 83238
           Summary: [8 Regression] [graphite] ICE in
                    graphite_can_represent_scev, at
                    graphite-scop-detection.c:971
           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-alpha20171126 snapshot (r255155) ICEs when compiling the following
snippet w/ -O2 -floop-parallelize-all:

void
vw (int *dk, int zd, int jb)
{
  int sq;
  int *kv = &sq;

  for (sq = 0; sq < 2; ++sq)
    {
      int u1;

      for (u1 = 0; u1 < 5; ++u1)
        if (zd == 0)
          return;
    }

  for (;;)
    {
      ++zd;
      if (zd == 0)
        while (jb != 0)
          kv = &jb;

      while (*dk < 1)
        {
          for (jb = 0; jb < 2; ++jb)
            {
            }
          ++*dk;
        }

      for (*kv = 0; *kv < 2; ++*kv)
        for (*dk = 0; *dk < 2; ++*dk)
          {
          }
    }
}

% gcc-8.0.0-alpha20171126 -O2 -floop-parallelize-all -w -c kgclon2i.c
during GIMPLE pass: graphite
kgclon2i.c: In function 'vw':
kgclon2i.c:2:1: internal compiler error: in graphite_can_represent_scev, at
graphite-scop-detection.c:971
 vw (int *dk, int zd, int jb)
 ^~
0x13f337e graphite_can_represent_scev
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171126/work/gcc-8-20171126/gcc/graphite-scop-detection.c:970
0x7e6c4e graphite_can_represent_expr
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171126/work/gcc-8-20171126/gcc/graphite-scop-detection.c:999
0x7e6c4e stmt_simple_for_scop_p
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171126/work/gcc-8-20171126/gcc/graphite-scop-detection.c:1104
0x7e6c4e harmful_loop_in_region
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171126/work/gcc-8-20171126/gcc/graphite-scop-detection.c:768
0x13f4177 build_scop_depth
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171126/work/gcc-8-20171126/gcc/graphite-scop-detection.c:637
0x13f3df2 build_scop_depth
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171126/work/gcc-8-20171126/gcc/graphite-scop-detection.c:628
0x13f4a31 build_scops(vec<scop*, va_heap, vl_ptr>*)
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171126/work/gcc-8-20171126/gcc/graphite-scop-detection.c:1658
0x13eb36d graphite_transform_loops()
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171126/work/gcc-8-20171126/gcc/graphite.c:364
0x13ec4c0 graphite_transforms
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171126/work/gcc-8-20171126/gcc/graphite.c:447
0x13ec4c0 execute
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171126/work/gcc-8-20171126/gcc/graphite.c:524