xref: /llvm-project/flang/test/Semantics/lockstmt03.f90 (revision fccff3f11a7d23bd28b6d92b6ae3f9d33633734a) 
1! RUN: %python %S/test_errors.py %s %flang_fc1
2! XFAIL: *
3! This test checks for semantic errors in lock statements based on the
4! statement specification in section 11.6.10 of the Fortran 2018 standard.
5
6program test_lock_stmt
7  use iso_fortran_env, only: lock_type, event_type
8  implicit none
9
10  character(len=128) error_message, msg_array(10), coindexed_msg[*], repeated_msg
11  integer status, stat_array(10), coindexed_int[*], non_bool, repeated_stat
12  logical non_integer, bool, bool_array(10), non_char, coindexed_logical[*], repeated_bool
13  type(lock_type) :: lock_var[*], lock_array(10)[*], non_coarray_lock
14  type(event_type) :: not_lock_var[*]
15
16  !___ non-standard-conforming statements ___
17
18! type mismatches
19
20  !ERROR: to be determined
21  lock(not_lock_var)
22
23  !ERROR: Must have LOGICAL type, but is INTEGER(4)
24  lock(lock_var, acquired_lock=non_bool)
25
26  !ERROR: Must have INTEGER type, but is LOGICAL(4)
27  lock(lock_var, stat=non_integer)
28
29  !ERROR: Must have CHARACTER type, but is LOGICAL(4)
30  lock(lock_var, errmsg=non_char)
31
32! rank mismatches
33
34  !ERROR: Must be a scalar value, but is a rank-1 array
35  lock(lock_array)
36
37  !ERROR: Must be a scalar value, but is a rank-1 array
38  lock(lock_var, acquired_lock=bool_array)
39
40  !ERROR: Must be a scalar value, but is a rank-1 array
41  lock(lock_var, stat=stat_array)
42
43  !ERROR: Must be a scalar value, but is a rank-1 array
44  lock(lock_var, errmsg=msg_array)
45
46! corank mismatch
47
48  !ERROR: to be determined
49  lock(non_coarray_lock)
50
51! C1173 - stat-variable and errmsg-variable shall not be a coindexed object
52
53  !ERROR: to be determined
54  lock(lock_var, stat=coindexed_int[1])
55
56  !ERROR: to be determined
57  lock(lock_var, errmsg=coindexed_msg[1])
58
59  !ERROR: to be determined
60  lock(lock_var, acquired_lock=coindexed_logical[1], stat=coindexed_int[1], errmsg=coindexed_msg[1])
61
62! C1181 - No specifier shall appear more than once in a given lock-stat-list
63
64  !ERROR: to be determined
65  lock(lock_var, acquired_lock=bool, acquired_lock=repeated_bool)
66
67  !ERROR: to be determined
68  lock(lock_var, stat=status, stat=repeated_stat)
69
70  !ERROR: to be determined
71  lock(lock_var, errmsg=error_message, errmsg=repeated_msg)
72
73  !ERROR: to be determined
74  lock(lock_var, acquired_lock=bool, stat=status, errmsg=error_message, acquired_lock=repeated_bool)
75
76  !ERROR: to be determined
77  lock(lock_var, acquired_lock=bool, stat=status, errmsg=error_message, stat=repeated_stat)
78
79  !ERROR: to be determined
80  lock(lock_var, acquired_lock=bool, stat=status, errmsg=error_message, errmsg=repeated_msg)
81
82  !ERROR: to be determined
83  lock(lock_var, acquired_lock=bool, stat=status, errmsg=error_message, acquired_lock=repeated_bool, stat=repeated_stat)
84
85  !ERROR: to be determined
86  lock(lock_var, acquired_lock=bool, stat=status, errmsg=error_message, acquired_lock=repeated_bool, errmsg=repeated_msg)
87
88  !ERROR: to be determined
89  lock(lock_var, acquired_lock=bool, stat=status, errmsg=error_message, stat=repeated_stat, errmsg=repeated_msg)
90
91  !ERROR: to be determined
92  lock(lock_var, acquired_lock=bool, stat=status, errmsg=error_message, acquired_lock=repeated_bool, stat=repeated_stat, errmsg=repeated_msg)
93
94end program test_lock_stmt
95