[Bug middle-end/42393] New: [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

["jv244 at cam dot ac dot uk" <gcc-bugzilla at gcc dot gnu dot org>]

> gfortran  -c -fgraphite-identity -O2 bug.f90
bug.f90: In function ?basym?:
bug.f90:4:0: internal compiler error: in check_loop_closed_ssa_use, at
tree-ssa-loop-manip.c:424
Please submit a full bug report,
with preprocessed source if appropriate.

> cat bug.f90
MODULE beta_gamma_psi
  INTEGER, PARAMETER :: dp=KIND(0.0D0)
CONTAINS
FUNCTION basym (a, b, lambda, eps) RESULT(fn_val)
    REAL(dp) :: a0(21), b0(21), bsum, c(21), d(21), dsum, &
      j0, j1, r, r0, r1, s, sum, t, t0, t1, &
      u, w, w0, z, z0, z2, zn, znm1
DO n = 2, num, 2
  DO i = n, np1
    b0(1) = r*a0(1)
    DO m = 2, i
      bsum = 0.0e0_dp
      mm1 = m - 1
      DO j = 1, mm1
        mmj = m - j
        bsum = bsum + (j*r - mmj)*a0(j)*b0(mmj)
      END DO
      b0(m) = r*a0(m) + bsum/m
    END DO
    c(i) = b0(i)/(i + 1.0e0_dp)
    d(i) = -(dsum + c(i))
  END DO
  t0 = d(n)*w*j0
  sum = sum + (t0 + t1)
END DO
fn_val = e0*t*u*sum
END FUNCTION basym
END MODULE beta_gamma_psi

> gfortran  -v -c -fgraphite-identity -O2 bug.f90
Using built-in specs.
COLLECT_GCC=gfortran
COLLECT_LTO_WRAPPER=/data03/vondele/gcc_trunk/build/libexec/gcc/x86_64-unknown-linux-gnu/4.5.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /data03/vondele/gcc_trunk/gcc/configure --disable-bootstrap
--prefix=/data03/vondele/gcc_trunk/build --enable-languages=c,c++,fortran
--disable-multilib --with-ppl=/data03/vondele/gcc_trunk/build/
--with-cloog=/data03/vondele/gcc_trunk/build/
--with-libelf=/data03/vondele/libelf-0.8.12/build/ --enable-gold --enable-lto
--enable-plugins
Thread model: posix
gcc version 4.5.0 20091216 (experimental) [trunk revision 155286] (GCC)
COLLECT_GCC_OPTIONS='-v' '-c' '-fgraphite-identity' '-O2' '-mtune=generic'

/data03/vondele/gcc_trunk/build/libexec/gcc/x86_64-unknown-linux-gnu/4.5.0/f951
bug.f90 -quiet -dumpbase bug.f90 -mtune=generic -auxbase bug -O2 -version
-fgraphite-identity -fintrinsic-modules-path
/data03/vondele/gcc_trunk/build/lib/gcc/x86_64-unknown-linux-gnu/4.5.0/finclude
-o /tmp/ccrCN2bx.s
GNU Fortran (GCC) version 4.5.0 20091216 (experimental) [trunk revision 155286]
(x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.3.1 20080507 (prerelease) [gcc-4_3-branch
revision 135036], GMP version 4.2.4, MPFR version 2.4.1, MPC version 0.8
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU Fortran (GCC) version 4.5.0 20091216 (experimental) [trunk revision 155286]
(x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.3.1 20080507 (prerelease) [gcc-4_3-branch
revision 135036], GMP version 4.2.4, MPFR version 2.4.1, MPC version 0.8
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
bug.f90: In function ?basym?:
bug.f90:4:0: internal compiler error: in check_loop_closed_ssa_use, at
tree-ssa-loop-manip.c:424
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: [4.5 Regression] [graphite]  internal compiler error: in
                    check_loop_closed_ssa_use
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jv244 at cam dot ac dot uk


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42393