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
