http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46952
--- Comment #3 from janus at gcc dot gnu.org 2013-01-10 08:50:51 UTC --- Further reducing the test case: module m type, abstract :: t contains procedure(inter), pass, deferred :: foo end type contains subroutine inter(this) class(t) :: this call this%foo() end subroutine inter end module m