[Bug fortran/50517] gfortran must detect that actual argument type is different from dummy argument type (r178939)

[janus at gcc dot gnu.org]

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |janus at gcc dot gnu.org

--- Comment #1 from janus at gcc dot gnu.org 2011-09-26 08:05:10 UTC ---
(In reply to comment #0)
> ! gfortran must detect that actual argument type is different from dummy
> argument type (r178939)

Could you explain why you assume that this is invalid? I would say it is valid
at least in F95, see Fortran 95 standard, chapter 4.4.2, "Determination of
derived types". I haven't checked if this is still the case in F03 or F08.

gfortran has a routine to check if two derived types are actually the same
("gfc_compare_derived_types" in interface.c).