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

[wschmidt at gcc dot gnu.org]

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

William J. Schmidt wschmidt at gcc dot gnu.org changed:

   What|Removed |Added

 CC||wschmidt at gcc dot gnu.org
 AssignedTo|unassigned at gcc dot   |wschmidt at gcc dot gnu.org
   |gnu.org |

--- Comment #3 from William J. Schmidt wschmidt at gcc dot gnu.org 2012-05-04 
13:35:32 UTC ---
Investigating.

[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,

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

[hjl.tools at gmail dot com]

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

H.J. Lu hjl.tools at gmail dot com changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2012-05-03
 CC||wschmidt at linux dot
   ||vnet.ibm.com
   Target Milestone|--- |4.8.0
 Ever Confirmed|0   |1

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

[hjl.tools at gmail dot com]

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

--- Comment #2 from H.J. Lu hjl.tools at gmail dot com 2012-05-03 22:53:39 
UTC ---
It is caused by revision 186568:

http://gcc.gnu.org/ml/gcc-cvs/2012-04/msg00519.html