[Bug debug/42186] New: [4.5 Regression] internal compiler error: verify_ssa failed

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

> 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