[Bug fortran/63552] [OOP] Type-bound procedures rejected as actual argument to dummy procedure

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

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63552

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |janus at gcc dot gnu.org

--- Comment #5 from janus at gcc dot gnu.org ---
(In reply to janus from comment #3)
> This draft patch gets rid of the error and regtests cleanly:

Unfortunately this patch is far from complete. What needs to be done is to use
the PPC component of the vtab in the actual-argument expression.

There are two cases to be handled: Polymorphic and non-polymorphic variables.

Here is a test case without CO_REDUCE, which covers both cases:


module m
  type t
  contains
    procedure, nopass :: tbp => f
  end type
contains
  pure integer function f(a,b)
    integer, intent(in) :: a,b
    f = a+b
  end function
end module

use m
integer :: a
class(t), allocatable :: x
type(t) :: y

call sub(x%tbp)
call sub(y%tbp)

contains
  subroutine sub(arg)
    procedure(f) :: arg
    print *,f(1,2)
  end subroutine
end


I'm working on a patch.