[Bug fortran/37222] [OOP] Checks when overriding type-bound procedures are incomplete

[janus at gcc dot gnu.org]

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|rejects-valid               |
            Summary|Checks when overriding      |[OOP] Checks when
                   |type-bound procedures are   |overriding type-bound
                   |incomplete                  |procedures are incomplete

--- Comment #1 from janus at gcc dot gnu.org 2011-09-10 15:02:33 UTC ---
(In reply to comment #0)
> 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.

There are a few related PRs:
 * for the INTENT check there is PR47978
 * PR35831 concerns the shape check (originally for dummy procedure arguments,
but it applies to TBP overriding in the same way)

This PR can be used to track some of the missing checks:
 * ALLOCATABLE/POINTER
 * string length
 * ...