[Bug tree-optimization/71230] [7 Regression] ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230

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

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

--- Comment #10 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> ---
new testcase:

> cat bug.f90
MODULE ai_coulomb_test
  INTEGER, PARAMETER :: dp=8
  INTERFACE
  SUBROUTINE g2gemint(intabc,la_max,npgfa,zeta,a,lb_max,npgfb,zetb,b,&
                      lr_max,ls_max,ngemc,zetc,c,nderivative)
  INTEGER, PARAMETER :: dp=8
    REAL(KIND=dp), &
      DIMENSION(:, :, :, :, :, :), &
      INTENT(INOUT)                          :: intabc
    REAL(KIND=dp), DIMENSION(:), INTENT(IN)  :: zeta, a
    REAL(KIND=dp), DIMENSION(:), INTENT(IN)  :: zetb, b
    REAL(KIND=dp), DIMENSION(:, :, :), &
      INTENT(IN)                             :: zetc
    REAL(KIND=dp), DIMENSION(:), INTENT(IN)  :: c
  END SUBROUTINE
  END INTERFACE
  PRIVATE
  PUBLIC :: eri_test
CONTAINS
  SUBROUTINE eri_test (iw)
   IF ( iw>0 ) THEN
      WRITE(iw,'(//,A,/)') "foo"
   END IF
    CALL geminal_test4 (iw)
  END SUBROUTINE eri_test
  SUBROUTINE geminal_test4 (iw)
    REAL(KIND=dp)                            :: d1, da, db, dc, delta, dmax, &
                                                xa, xb, xc, xd, xr, xs
    REAL(KIND=dp), ALLOCATABLE, &
      DIMENSION(:, :, :, :, :, :)            :: iabc1m, iabc1p, iabc2m, &
                                                iabc2p, iabc3m, iabc3p, iabcd
    REAL(KIND=dp), DIMENSION(2, 2, 1)        :: za, zb
    REAL(KIND=dp), DIMENSION(3)              :: a, b, c, d
    REAL(KIND=dp), DIMENSION(6)              :: ra, rb
    DO k=1,3
      CALL g2gemint(iabc3p,la,1,(/xa/),a,lc,1,(/xb/),c,llb,llb,1,zb,rb,0)
      CALL g2gemint(iabc3m,la,1,(/xa/),a,lc,1,(/xb/),c,llb,llb,1,zb,rb,0)
      iabc3p = (iabc3p-iabc3m)/delta
    END DO
  END SUBROUTINE geminal_test4
END MODULE ai_coulomb_test

> gfortran -c -O3 -ffast-math -fprefetch-loop-arrays bug.f90

bug.f90:20:0:

   SUBROUTINE eri_test (iw)

in pp_string, at pretty-print.c:937
0x13e8397 pp_string
        ../../gcc/gcc/pretty-print.c:937
0x13e8397 pp_string(pretty_printer*, char const*)
        ../../gcc/gcc/pretty-print.c:935
0x13e8f16 pp_format(pretty_printer*, text_info*)
        ../../gcc/gcc/pretty-print.c:579
0x13e3de1 diagnostic_report_diagnostic(diagnostic_context*, diagnostic_info*)
        ../../gcc/gcc/diagnostic.c:823
0x13e5645 internal_error(char const*, ...)
        ../../gcc/gcc/diagnostic.c:1258
0x8f88f8 gimple_check_failed(gimple const*, char const*, int, char const*,
gimple_code, tree_code)
        ../../gcc/gcc/gimple.c:1174
0xd671cb GIMPLE_CHECK2<const gassign*>
        ../../gcc/gcc/gimple.h:73
0xd5bab7 zero_one_operation
        ../../gcc/gcc/tree-ssa-reassoc.c:1232
0xd63528 undistribute_ops_list
        ../../gcc/gcc/tree-ssa-reassoc.c:1586
0xd63fb8 reassociate_bb
        ../../gcc/gcc/tree-ssa-reassoc.c:5237
0xd63df7 reassociate_bb
        ../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd63df7 reassociate_bb
        ../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd63df7 reassociate_bb
        ../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd63df7 reassociate_bb
        ../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd63df7 reassociate_bb
        ../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd63df7 reassociate_bb
        ../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd63df7 reassociate_bb
        ../../gcc/gcc/tree-ssa-reassoc.c:5367
0xd66633 do_reassoc
        ../../gcc/gcc/tree-ssa-reassoc.c:5481
0xd66633 execute_reassoc
        ../../gcc/gcc/tree-ssa-reassoc.c:5568
0xd66633 execute
        ../../gcc/gcc/tree-ssa-reassoc.c:5607
Please submit a full bug report,

> gfortran -v
Using built-in specs.
COLLECT_GCC=gfortran
COLLECT_LTO_WRAPPER=/data/vjoost/gnu/gcc_trunk/install/libexec/gcc/x86_64-pc-linux-gnu/7.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc/configure --prefix=/data/vjoost/gnu/gcc_trunk/install
--enable-languages=c,c++,fortran --disable-multilib --enable-plugins
--enable-lto --disable-bootstrap
Thread model: posix
gcc version 7.0.0 20160524 (experimental) [trunk revision 236623] (GCC)