[Bug fortran/37222] New: Gfortran's check when overriding type-bound procedures is incomplete

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

In 4.5.6.2 of the draft F2003 standard ("Type-bound procedure overriding") a
list of conditions is given that an overriding type-bound procedure must
satisfy; the checks that function result characteristics and characteristics of
corresponding dummy arguments are the same are incomplete in the current
implementation.  This corresponds to two FIXME's in resolve.c /
check_typebound_overrid.

At the moment, only gfc_compare_types is called; among the items that fail to
be checked are rank, array shape (if known), ALLOCATABLE/POINTER attributes and
INTENT declarations.


-- 
           Summary: Gfortran's check when overriding type-bound procedures
                    is incomplete
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: domob at gcc dot gnu dot org


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