[Bug fortran/37297] [OOP] Ambiguity check for GENERIC bindings is not yet fully conformant

[janus at gcc dot gnu.org]

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE
            Summary|Ambiguity check for F2003   |[OOP] Ambiguity check for
                   |GENERIC bindings is not yet |GENERIC bindings is not yet
                   |fully conformant            |fully conformant

--- Comment #1 from janus at gcc dot gnu.org 2011-09-10 08:45:00 UTC ---
Note: The test case in comment #0 is (correctly) rejected with

    PROCEDURE, PASS :: proc1
             1
Error: Non-polymorphic passed-object dummy argument of 'proc1' at (1)



However, when correcting this, it is still accepted:

MODULE m

  IMPLICIT NONE

  TYPE t
  CONTAINS
    PROCEDURE, PASS :: proc1
    PROCEDURE, NOPASS :: proc2
    GENERIC :: gen => proc1, proc2
  END TYPE

CONTAINS

  SUBROUTINE proc1 (me)
    CLASS(t) :: me
  END SUBROUTINE

  SUBROUTINE proc2 ()
  END SUBROUTINE

END MODULE

PROGRAM main
  USE m
  IMPLICIT NONE
  TYPE(t) :: myobj
  CALL myobj%gen ()
END PROGRAM main



This is the same issue as the one reported in PR47710.

*** This bug has been marked as a duplicate of bug 47710 ***