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

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

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

            Bug ID: 63552
           Summary: [OOP] Type-bound procedures rejected as actual
                    argument to dummy procedure
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org

The following code compiles with, e.g., Cray's ftn but fails with gfortran 5
with:

call co_reduce(a,x%tbp)
                      1
Error: Expected argument list at (1)


module m
  type t
    procedure(f), pointer, nopass :: ppc
  contains
    procedure, nopass :: tbp => f
  end type t
contains
  pure function f(a,b)
    real :: a,b
    value :: a
    intent(in) :: b
    f = 0
  end function f
end module m

use m
!intrinsic co_reduce
integer :: a
type(t) :: x
!call co_reduce(a,x%ppc)
call co_reduce(a,x%tbp)
end