[Patch, Fortran, F03] PR 54147: Interface checks for PPCs & deferred TBPs

[Janus Weil]

Hi all,

here is a follow-up patch to my recent fix for PR 42418. Shortly after
committing it, I realized that the same checks should be done not only
for plain PROCEDURE declarations, but also for procedure-pointer
components and (deferred) type-bound procedures. So, what the attached
patch does, is to separate the checks out of their original place, put
them into a stand-alone routine and call this from different places in
order to apply the checks to the three cases mentioned above.

The new test cases are completely analogous to the one for 42418, but
tailored to PPCs & TBPs.

Patch was regtested on x86_64-unknown-linux-gnu. Ok for trunk?

Cheers,
Janus


2012-08-01  Janus Weil  <ja...@gcc.gnu.org>

        PR fortran/54147
        * resolve.c (check_proc_interface): New routine for PROCEDURE interface
        checks.
        (resolve_procedure_interface,resolve_typebound_procedure,
        resolve_fl_derived0): Call it.

2012-08-01  Janus Weil  <ja...@gcc.gnu.org>

        PR fortran/54147
        * gfortran.dg/abstract_type_6.f03: Modified.
        * gfortran.dg/proc_ptr_comp_3.f90: Modified.
        * gfortran.dg/proc_ptr_comp_35.f90: New.
        * gfortran.dg/typebound_proc_9.f03: Modified.
        * gfortran.dg/typebound_proc_26.f90: New.

pr54147.diff
Description: Binary data

proc_ptr_comp_35.f90
Description: Binary data

typebound_proc_26.f90
Description: Binary data