http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54147
--- Comment #2 from janus at gcc dot gnu.org 2012-07-31 20:43:16 UTC --- For TBPs there seems to be a similar but non-equivalent check in resolve_typebound_procedure. It is supposed to check for F08:C465, but apparently is also applied to the interface of deferred procedures (which it should not be), and therefore probably rejects too much (all four cases in comment 1 are rejected).
