[Bug tree-optimization/85935] New: [8/9 Regression] [graphite] ICE in extract_affine, at graphite-sese-to-poly.c:287

[asolokha at gmx dot com]

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

            Bug ID: 85935
           Summary: [8/9 Regression] [graphite] ICE in extract_affine, at
                    graphite-sese-to-poly.c:287
           Product: gcc
           Version: 9.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-9.0.0-alpha20180520 snapshot (r260425) and 8.1 ICE when compiling the
following snippet w/ -O1 (-O2, -O3, -Ofast) -floop-parallelize-all
-fno-tree-loop-im --param scev-max-expr-size=3:

typedef int dq;

int gb;

void
qq (dq ww, int kk)
{
  dq *up = &ww;

  (void) *up;

  while (kk < 1)
    {
      ++ww;

      if (ww == 0)
        for (gb = 0; gb < 2; ++gb)
          {
          }

      ++kk;
    }
}

% gcc-9.0.0-alpha20180520 -O1 -floop-parallelize-all -fno-tree-loop-im --param
scev-max-expr-size=3 -c ahhx6tw1.c 
during GIMPLE pass: graphite
ahhx6tw1.c: In function 'qq':
ahhx6tw1.c:6:1: internal compiler error: in extract_affine, at
graphite-sese-to-poly.c:287
 qq (dq ww, int kk)
 ^~
0x14852fa extract_affine
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/graphite-sese-to-poly.c:287
0x148518a extract_affine
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/graphite-sese-to-poly.c:300
0x1484c2a extract_affine
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/graphite-sese-to-poly.c:260
0x1484fe9 extract_affine_chrec
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/graphite-sese-to-poly.c:86
0x1484fe9 extract_affine
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/graphite-sese-to-poly.c:237
0x1486263 add_condition_to_pbb
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/graphite-sese-to-poly.c:349
0x1486263 add_conditions_to_domain
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/graphite-sese-to-poly.c:416
0x1486263 build_iteration_domains
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/graphite-sese-to-poly.c:866
0x14866af build_poly_scop(scop*)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/graphite-sese-to-poly.c:1215
0x1477e51 graphite_transform_loops()
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/graphite.c:406
0x1478280 graphite_transforms
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/graphite.c:475
0x1478280 execute
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180520/work/gcc-9-20180520/gcc/graphite.c:552