http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54107
--- Comment #27 from janus at gcc dot gnu.org 2013-01-28 22:42:48 UTC --- (In reply to comment #26) > There is one case that remains to be handled. I suppose it is valid if the > other are valid. > > function foo () result(bar) > procedure(foo), pointer :: bar > end function Yes, in principle proc-ptr valued functions are allowed. I don't see why it wouldn't be valid. This ICEs for me with 4.6, 4.7 and trunk (with the current patches for this PR).