http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56266
janus at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Keywords| |ice-on-invalid-code Last reconfirmed| |2013-02-10 CC| |janus at gcc dot gnu.org Ever Confirmed|0 |1 Summary|ICE on invalid in |[OOP] ICE on invalid in |gfc_match_varspec |gfc_match_varspec --- Comment #1 from janus at gcc dot gnu.org 2013-02-10 08:54:46 UTC --- Confirmed. The test case had one or two small errors (in addition to the one leading to the ICE). Corrected version, and with TYPE(nc), also gives the ICE: module t type nc contains procedure :: encM => em end type nc contains double precision function em(self) implicit none class(nc) :: self em=0.0d0 end function double precision function cem(c) implicit none type(nc) :: c cem=c(i)%encM() end function end module