blob: 6b12eb892b084406c037376e4ad9f23bb73bd77a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
! { 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
|