blob: 6b12eb892b084406c037376e4ad9f23bb73bd77a [file] [log] [blame]
! { dg-do compile }
!
! PR 46161: [OOP] Invalid: Passing non-polymorphic to allocatable polymorphic dummy
!
! Contributed by Janus Weil <janus@gcc.gnu.org>
implicit none
type :: base
end type
type, extends(base) :: ext
end type
type(base), allocatable :: a
class(base), pointer :: b
class(ext), allocatable :: c
call test(a) ! { dg-error "must be polymorphic" }
call test(b) ! { dg-error "must be ALLOCATABLE" }
call test(c) ! { dg-error "must have the same declared type" }
contains
subroutine test(arg)
implicit none
class(base), allocatable :: arg
end subroutine
end