> gfortran -c -fgraphite-identity -g -O3 -ffast-math bug.f90
bug.f90: In function calerf:
bug.f90:3:0: error: definition in block 11 does not dominate use in block 4
for SSA_NAME: xden_2 in statement:
D.1562_21 = D.1561_20 + xden_2;
bug.f90:3: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 erf_fn
CONTAINS
SUBROUTINE CALERF(ARG,RESULT,JINT)
DIMENSION A(5),B(4),C(9),D(8),P(6),Q(5)
IF (Y <= THRESH) THEN
DO I = 1, 3
XNUM = (XNUM + A(I)) * YSQ
XDEN = (XDEN + B(I)) * YSQ
END DO
RESULT = X * (XNUM + A(4)) / (XDEN + B(4))
END IF
END SUBROUTINE CALERF
END MODULE erf_fn
--
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=42186
