[Bug middle-end/53217] [4.8 Regression] internal compiler error: verify_ssa failed

[Joost.VandeVondele at mat dot ethz.ch]

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

--- Comment #1 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> 2012-05-03 18:38:27 UTC ---
The following testcase causes an ICE with current trunk (4.8)

MODULE xc_cs1
  INTEGER, PARAMETER :: dp=KIND(0.0D0)
  REAL(KIND=dp), PARAMETER :: a = 0.04918_dp, &
                              c = 0.2533_dp, &
                              d = 0.349_dp
CONTAINS
  SUBROUTINE cs1_u_2 ( rho, grho, r13, e_rho_rho, e_rho_ndrho, e_ndrho_ndrho,&
       npoints, error)
    REAL(KIND=dp), DIMENSION(*), &
      INTENT(INOUT)                          :: e_rho_rho, e_rho_ndrho, &
                                                e_ndrho_ndrho
    DO ip = 1, npoints
      IF ( rho(ip) > eps_rho ) THEN
         oc = 1.0_dp/(r*r*r3*r3 + c*g*g)
         d2rF4 = c4p*f13*f23*g**4*r3/r * (193*d*r**5*r3*r3+90*d*d*r**5*r3 &
                 -88*g*g*c*r**3*r3-100*d*d*c*g*g*r*r*r3*r3 &
                 +104*r**6)*od**3*oc**4
         e_rho_rho(ip) = e_rho_rho(ip) + d2F1 + d2rF2 + d2F3 + d2rF4
      END IF
    END DO
  END SUBROUTINE cs1_u_2
END MODULE xc_cs1


gfortran -O1  -ffast-math  bug.f90 
bug.f90: In function ‘cs1_u_2’:
bug.f90:7:0: error: definition in block 4 follows the use
   SUBROUTINE cs1_u_2 ( rho, grho, r13, e_rho_rho, e_rho_ndrho, e_ndrho_ndrho,&
 ^
for SSA_NAME: reassocpow.5_24 in statement:
reassocpow.5_99 = __builtin_powi (reassocpow.5_24, 2);
bug.f90:7:0: internal compiler error: verify_ssa failed
   SUBROUTINE cs1_u_2 ( rho, grho, r13, e_rho_rho, e_rho_ndrho, e_ndrho_ndrho,&