summaryrefslogtreecommitdiff
path: root/flang/test/Semantics/sync-stat-list.f90
blob: 85a85f822453421a5651db47b0821b2dae1567c8 (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
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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
! RUN: %python %S/test_errors.py %s %flang_fc1
! There are sync-stat-lists in critical-stmt, sync-all-stmt,
! sync-images-stmt, sync-memory-stmt, sync-team-stmt,
! event-post-stmt, unlock-stmt, change-team-stmt, and end-change-team-stmt.
!
! Some of these statements have their sync-stat-lists tested in other tests.
! This test contains the statements that do not, namely critical-stmt, unlock-stmt,
! change-team-stmt, and end-change-team-stmt.

program test_sync_stat_list
  use iso_fortran_env, only: team_type, lock_type

  implicit none

  integer coarray[*], sync_status, non_scalar(2), superfluous_stat, coindexed_integer[*]
  character(len=128) error_message, superfluous_errmsg, coindexed_character[*]
  logical invalid_type
  type(team_type) :: home
  type(lock_type) :: latch

  ! valid
  change team (home, stat=sync_status, errmsg=error_message)
  end team (stat=sync_status, errmsg=error_message)

  !ERROR: Must be a scalar value, but is a rank-1 array
  change team (home, stat=non_scalar, errmsg=error_message)
  end team

  !ERROR: Must have INTEGER type, but is LOGICAL(4)
  change team (home, stat=invalid_type, errmsg=error_message)
  end team

  !ERROR: Must have CHARACTER type, but is LOGICAL(4)
  change team (home, stat=sync_status, errmsg=invalid_type)
  end team

  change team (home)
  !ERROR: Must be a scalar value, but is a rank-1 array
  end team (stat=non_scalar, errmsg=error_message)

  change team (home)
  !ERROR: Must have INTEGER type, but is LOGICAL(4)
  end team (stat=invalid_type, errmsg=error_message)

  change team (home)
  !ERROR: Must have CHARACTER type, but is LOGICAL(4)
  end team (stat=sync_status, errmsg=invalid_type)

  !ERROR: The stat-variable in a sync-stat-list may not be repeated
  change team (home, stat=sync_status, errmsg=error_message, stat=superfluous_stat)
  end team

  !ERROR: The errmsg-variable in a sync-stat-list may not be repeated
  change team (home, stat=sync_status, errmsg=error_message, errmsg=superfluous_errmsg)
  end team

  change team (home)
  !ERROR: The stat-variable in a sync-stat-list may not be repeated
  end team (stat=sync_status, errmsg=error_message, stat=superfluous_stat)

  change team (home)
  !ERROR: The errmsg-variable in a sync-stat-list may not be repeated
  end team (stat=sync_status, errmsg=error_message, errmsg=superfluous_errmsg)

  !ERROR: The stat-variable or errmsg-variable in a sync-stat-list may not be a coindexed object
  !ERROR: The stat-variable or errmsg-variable in a sync-stat-list may not be a coindexed object
  change team (home, stat=coindexed_integer[1], errmsg=coindexed_character[1])
  end team

  change team (home)
  !ERROR: The stat-variable or errmsg-variable in a sync-stat-list may not be a coindexed object
  !ERROR: The stat-variable or errmsg-variable in a sync-stat-list may not be a coindexed object
  end team (stat=coindexed_integer[1], errmsg=coindexed_character[1])

  ! valid
  unlock (latch, stat=sync_status, errmsg=error_message)

  !ERROR: Must be a scalar value, but is a rank-1 array
  unlock (latch, stat=non_scalar, errmsg=error_message)

  !ERROR: Must have INTEGER type, but is LOGICAL(4)
  unlock (latch, stat=invalid_type, errmsg=error_message)

  !ERROR: Must have CHARACTER type, but is LOGICAL(4)
  unlock (latch, stat=sync_status, errmsg=invalid_type)

  !ERROR: The stat-variable in a sync-stat-list may not be repeated
  unlock (latch, stat=sync_status, stat=superfluous_stat)

  !ERROR: The errmsg-variable in a sync-stat-list may not be repeated
  unlock (latch, stat=sync_status, errmsg=error_message, errmsg=superfluous_errmsg)

  !ERROR: The stat-variable or errmsg-variable in a sync-stat-list may not be a coindexed object
  !ERROR: The stat-variable or errmsg-variable in a sync-stat-list may not be a coindexed object
  unlock (latch, stat=coindexed_integer[1], errmsg=coindexed_character[1])

  ! valid
  critical (stat=sync_status, errmsg=error_message)
  end critical

  !ERROR: Must be a scalar value, but is a rank-1 array
  critical (stat=non_scalar, errmsg=error_message)
  end critical

  !ERROR: Must have INTEGER type, but is LOGICAL(4)
  critical (stat=invalid_type, errmsg=error_message)
  end critical

  !ERROR: Must have CHARACTER type, but is LOGICAL(4)
  critical (stat=sync_status, errmsg=invalid_type)
  end critical

  !ERROR: The stat-variable in a sync-stat-list may not be repeated
  critical (stat=sync_status, errmsg=error_message, stat=superfluous_stat)
  end critical

  !ERROR: The errmsg-variable in a sync-stat-list may not be repeated
  critical (stat=sync_status, errmsg=error_message, errmsg=superfluous_errmsg)
  end critical

  !ERROR: The stat-variable or errmsg-variable in a sync-stat-list may not be a coindexed object
  !ERROR: The stat-variable or errmsg-variable in a sync-stat-list may not be a coindexed object
  critical (stat=coindexed_integer[1], errmsg=coindexed_character[1])
  end critical

end program test_sync_stat_list