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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
! RUN: %S/test_errors.sh %s %t %flang_fc1
! REQUIRES: shell
! Test selector and team-value in CHANGE TEAM statement
! OK
subroutine s1
use iso_fortran_env, only: team_type
type(team_type) :: t
real :: y[10,*]
change team(t, x[10,*] => y)
end team
form team(1, t)
end
subroutine s2
use iso_fortran_env
type(team_type) :: t
real :: y[10,*], y2[*], x[*]
! C1113
!ERROR: Selector 'y' was already used as a selector or coarray in this statement
change team(t, x[10,*] => y, x2[*] => y)
end team
!ERROR: Selector 'x' was already used as a selector or coarray in this statement
change team(t, x[10,*] => y, x2[*] => x)
end team
!ERROR: Coarray 'y' was already used as a selector or coarray in this statement
change team(t, x[10,*] => y, y[*] => y2)
end team
end
subroutine s3
type :: team_type
end type
type :: foo
real :: a
end type
type(team_type) :: t1
type(foo) :: t2
type(team_type) :: t3(3)
real :: y[10,*]
! C1114
!ERROR: Team value must be of type TEAM_TYPE from module ISO_FORTRAN_ENV
change team(t1, x[10,*] => y)
end team
!ERROR: Team value must be of type TEAM_TYPE from module ISO_FORTRAN_ENV
change team(t2, x[10,*] => y)
end team
!ERROR: Team value must be of type TEAM_TYPE from module ISO_FORTRAN_ENV
change team(t2%a, x[10,*] => y)
end team
!ERROR: Must be a scalar value, but is a rank-1 array
change team(t3, x[10,*] => y)
end team
!ERROR: Team value must be of type TEAM_TYPE from module ISO_FORTRAN_ENV
form team(1, t1)
!ERROR: Team value must be of type TEAM_TYPE from module ISO_FORTRAN_ENV
form team(2, t2)
!ERROR: Team value must be of type TEAM_TYPE from module ISO_FORTRAN_ENV
form team(2, t2%a)
!ERROR: Team value must be of type TEAM_TYPE from module ISO_FORTRAN_ENV
form team(3, t3(2))
!ERROR: Must be a scalar value, but is a rank-1 array
form team(3, t3)
end
subroutine s4
use iso_fortran_env, only: team_type
complex :: z
integer :: i, j(10)
type(team_type) :: t, t2(2)
form team(i, t)
!ERROR: Must be a scalar value, but is a rank-1 array
form team(1, t2)
!ERROR: Must have INTEGER type, but is COMPLEX(4)
form team(z, t)
!ERROR: Must be a scalar value, but is a rank-1 array
form team(j, t)
end
|
