> gfortran -c -fbounds-check -g -O3 bug.f90
bug.f90: In function newuob:
bug.f90:4:0: error: definition in block 11 does not dominate use in block 17
for SSA_NAME: sum_4 in statement:
# DEBUG sum => D#1 + sum_4
bug.f90:4:0: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
> cat bug.f90
MODULE powell
INTEGER, PARAMETER :: dp=8
CONTAINS
SUBROUTINE newuob (n, bmat, ndim, d, vlag, w,opt )
REAL(dp), DIMENSION(ndim, *), INTENT(inout) :: bmat
REAL(dp), DIMENSION(*), INTENT(inout) :: d, vlag, w
REAL(dp) :: sum
DO j=1,n
jp=npt+j
DO k=1,n
sum=sum+bmat(jp,k)*d(k)
END DO
vlag(jp)=sum
END DO
END SUBROUTINE newuob
END MODULE powell
details are:
> gfortran -c -fbounds-check -g -O3 -v 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 20091121 (experimental) [trunk revision 154408] (GCC)
COLLECT_GCC_OPTIONS='-c' '-fbounds-check' '-g' '-O3' '-v' '-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 -g -O3 -version
-fbounds-check -fintrinsic-modules-path
/data03/vondele/gcc_trunk/build/lib/gcc/x86_64-unknown-linux-gnu/4.5.0/finclude
-o /tmp/cccpthTj.s
GNU Fortran (GCC) version 4.5.0 20091121 (experimental) [trunk revision 154408]
(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 20091121 (experimental) [trunk revision 154408]
(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 newuob:
bug.f90:4:0: error: definition in block 11 does not dominate use in block 17
for SSA_NAME: sum_4 in statement:
# DEBUG sum => D#1 + sum_4
bug.f90:4:0: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
--
Summary: [4.5 Regression] internal compiler error: verify_ssa
failed
Product: gcc
Version: 4.5.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: debug
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=42166
