http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57639
janus at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2013-06-20 CC| |janus at gcc dot gnu.org Summary|ICE with polymorphism (and |[OOP] ICE with polymorphism |illegal code) |(and illegal code) Ever confirmed|0 |1 --- Comment #1 from janus at gcc dot gnu.org --- Confirmed. Thanks for reporting! Slightly reduced test case: implicit none class(*) :: t1, t2 print *, 'main: compare = ', compare (t1, t2) contains logical function compare (a, b) class(*), intent(in), allocatable :: a, b end function end