[Bug fortran/57217] [4.7/4.8/4.9 Regression][OOP] Accepts invalid TBP overriding - lacking arguments check

["janus at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57217

--- Comment #7 from janus at gcc dot gnu.org ---
(In reply to janus from comment #4)
> Some follow-up items:
>  * split type and rank check to provide better error messages
> (http://gcc.gnu.org/ml/fortran/2013-05/msg00039.html)
>  [..]
>  * fix assumed-type/rank cases
> (http://gcc.gnu.org/ml/fortran/2013-05/msg00089.html)

Both of these items have been addressed with r199475. Only the backports of the
regression fix are still pending.


Author: janus
Date: Fri May 31 08:09:09 2013
New Revision: 199475

URL: http://gcc.gnu.org/viewcvs?rev=199475&root=gcc&view=rev
Log:
2013-05-31  Janus Weil  <janus@gcc.gnu.org>

    PR fortran/54190
    PR fortran/57217
    * gfortran.h (gfc_terminal_width): Remove prototype.
    * error.c (get_terminal_width): Moved here from misc.c. Renamed.
    Try to determine terminal width from environment variable.
    * interface.c (compare_type, compare_rank): New functions. Fix assumed
    type/rank handling.
    (compare_type_rank, check_dummy_characteristics,
    check_result_characteristics, gfc_compare_interfaces): Use them.
    (symbol_rank): Slightly modified and moved.
    * misc.c (gfc_terminal_width): Moved to error.c.


2013-05-31  Janus Weil  <janus@gcc.gnu.org>

    PR fortran/54190
    PR fortran/57217
    * gfortran.dg/dummy_procedure_5.f90: Modified error message.
    * gfortran.dg/interface_26.f90: Ditto.
    * gfortran.dg/proc_ptr_11.f90: Ditto.
    * gfortran.dg/proc_ptr_15.f90: Ditto.
    * gfortran.dg/proc_ptr_comp_20.f90: Ditto.
    * gfortran.dg/proc_ptr_comp_33.f90: Ditto.
    * gfortran.dg/proc_ptr_result_5.f90: Ditto.
    * gfortran.dg/typebound_override_1.f90: Ditto.
    * gfortran.dg/typebound_override_4.f90: Ditto.
    * gfortran.dg/typebound_proc_6.f03: Ditto.
    * gfortran.dg/assumed_type_7.f90: New test.
    * gfortran.dg/typebound_override_5.f90: New test.
    * gfortran.dg/typebound_override_6.f90: New test.
    * gfortran.dg/typebound_override_7.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/assumed_type_7.f90
    trunk/gcc/testsuite/gfortran.dg/typebound_override_5.f90
    trunk/gcc/testsuite/gfortran.dg/typebound_override_6.f90
    trunk/gcc/testsuite/gfortran.dg/typebound_override_7.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/error.c
    trunk/gcc/fortran/gfortran.h
    trunk/gcc/fortran/interface.c
    trunk/gcc/fortran/misc.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/dummy_procedure_5.f90
    trunk/gcc/testsuite/gfortran.dg/interface_26.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_11.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_15.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_20.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_33.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_result_5.f90
    trunk/gcc/testsuite/gfortran.dg/typebound_override_1.f90
    trunk/gcc/testsuite/gfortran.dg/typebound_override_4.f90
    trunk/gcc/testsuite/gfortran.dg/typebound_proc_6.f03