flang/test/Semantics/lockstmt03.f90

   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
   6 program 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
  94 end program test_lock_stmt