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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
! { dg-do compile }
! { dg-options "-fcoarray=single" }
!
! PR fortran/46370
!
! Coarray checks
!
! Check for C1229: "A data-ref shall not be a polymorphic subobject of a
! coindexed object." which applies to function and subroutine calls.
module m
implicit none
type t
contains
procedure, nopass :: sub=>sub
procedure, nopass :: func=>func
end type t
type t3
type(t) :: nopoly
end type t3
type t2
class(t), allocatable :: poly
class(t3), allocatable :: poly2
end type t2
contains
subroutine sub()
end subroutine sub
function func()
integer :: func
end function func
end module m
subroutine test(x)
use m
type(t2) :: x[*]
integer :: i
call x[1]%poly2%nopoly%sub() ! OK
i = x[1]%poly2%nopoly%func() ! OK
call x[1]%poly%sub() ! { dg-error "Polymorphic subobject of coindexed object" }
i = x[1]%poly%func() ! { dg-error "Polymorphic subobject of coindexed object" }
end subroutine test
! Check for C617: "... a data-ref shall not be a polymorphic subobject of a
! coindexed object or ..."
! Before, the second allocate statment was failing - though it is no subobject.
program myTest
type t
end type t
class(t), allocatable :: a[:]
allocate (t :: a) ! { dg-error "Coarray specification required in ALLOCATE statement" }
allocate (t :: a[*]) ! OK
end program myTest
|
