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
54
55
56
57
58
59
60
61
62
63
64
|
! { dg-do compile }
! { dg-options "-fcoarray=single" }
!
!
! LOCK/LOCK_TYPE checks
!
subroutine valid()
use iso_fortran_env
implicit none
type t
type(lock_type) :: lock
end type t
type t2
type(lock_type), allocatable :: lock(:)[:]
end type t2
type(t), save :: a[*]
type(t2), save :: b ! OK
allocate(b%lock(1)[*])
LOCK(a%lock) ! OK
LOCK(a[1]%lock) ! OK
LOCK(b%lock(1)) ! OK
LOCK(b%lock(1)[1]) ! OK
end subroutine valid
subroutine invalid()
use iso_fortran_env
implicit none
type t
type(lock_type) :: lock
end type t
type(t), save :: a ! { dg-error "type LOCK_TYPE or with subcomponent of type LOCK_TYPE must be a coarray" }
end subroutine invalid
subroutine more_tests
use iso_fortran_env
implicit none
type t
type(lock_type) :: a ! OK
end type t
type t1
type(lock_type), allocatable :: c2(:)[:] ! OK
end type t1
type(t1) :: x1 ! OK
type t2
type(lock_type), allocatable :: c1(:) ! { dg-error "Allocatable component c1 at .1. of type LOCK_TYPE must have a codimension" }
end type t2
type t3
type(t) :: b
end type t3
type(t3) :: x3 ! { dg-error "of type LOCK_TYPE or with subcomponent of type LOCK_TYPE must be a coarray" }
type t4
type(lock_type) :: c0(2)
end type t4
type(t4) :: x4 ! { dg-error "of type LOCK_TYPE or with subcomponent of type LOCK_TYPE must be a coarray" }
end subroutine more_tests
|
