[Bug middle-end/68279] New: ICE: in create_pw_aff_from_tree, at graphite-sese-to-poly.c:836

["Joost.VandeVondele at mat dot ethz.ch" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 68279
           Summary: ICE: in create_pw_aff_from_tree, at
                    graphite-sese-to-poly.c:836
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: Joost.VandeVondele at mat dot ethz.ch
  Target Milestone: ---

with gcc version 6.0.0 20151110 (experimental) [trunk revision 230080] (GCC) 

> gfortran -c -O2  -floop-nest-optimize  bug.f90
internal compiler error: in create_pw_aff_from_tree, at
graphite-sese-to-poly.c:836
0x1252a13 create_pw_aff_from_tree
        ../../gcc/gcc/graphite-sese-to-poly.c:836
0x1252a13 create_pw_aff_from_tree
        ../../gcc/gcc/graphite-sese-to-poly.c:831
0x1258c9b add_condition_to_pbb
        ../../gcc/gcc/graphite-sese-to-poly.c:849
0x1258c9b add_conditions_to_domain
        ../../gcc/gcc/graphite-sese-to-poly.c:917
0x1258c9b add_conditions_to_constraints
        ../../gcc/gcc/graphite-sese-to-poly.c:940
0x1258c9b build_poly_scop(scop*)
        ../../gcc/gcc/graphite-sese-to-poly.c:1840
0x124773b graphite_transform_loops()
        ../../gcc/gcc/graphite.c:332
0x1247bd0 graphite_transforms
        ../../gcc/gcc/graphite.c:367
0x1247bd0 execute
        ../../gcc/gcc/graphite.c:444
Please submit a full bug report,

> cat bug.f90
MODULE dbcsr_mm_accdrv
  INTEGER, SAVE :: accdrv_binning_nbins = 4096
  INTEGER, SAVE :: accdrv_binning_binsize = 16
  INTEGER, PARAMETER, PUBLIC :: dbcsr_ps_width = 7
  CONTAINS
  SUBROUTINE stack_binning(params_in, params_out, stack_size)
    INTEGER, INTENT(IN)                      :: stack_size
    INTEGER, DIMENSION(dbcsr_ps_width, &
      stack_size), INTENT(OUT)               :: params_out
    INTEGER, DIMENSION(dbcsr_ps_width, &
      stack_size), INTENT(IN)                :: params_in
    INTEGER, DIMENSION(accdrv_binning_nbins) :: bin_top
    INTEGER, DIMENSION(dbcsr_ps_width)       :: val
    INTEGER, DIMENSION(dbcsr_ps_width, &
      accdrv_binning_binsize, &
      accdrv_binning_nbins)                  :: bin_arr
     DO i=1,stack_size
        val(:) = params_in(:,i)
        IF(bin_top(bin_id) > accdrv_binning_binsize) THEN
           params_out(:, top:top+bin_top(bin_id)-2) = bin_arr(:,
1:bin_top(bin_id)-1, bin_id)
        ENDIF
        bin_arr(:, bin_top(bin_id), bin_id) =  val(:)
        bin_top(bin_id) = bin_top(bin_id) + 1
     END DO
  END SUBROUTINE  stack_binning