flang/test/Semantics/collectives03.f90

   1 ! RUN: %python %S/test_errors.py %s %flang_fc1
   2 ! This test checks for semantic errors in co_max subroutine calls based on
   3 ! the co_max interface defined in section 16.9.47 of the Fortran 2018 standard.
   4
   5 program test_co_max
   6   implicit none
   7
   8   integer          i, integer_array(1), coindexed_integer[*], status, coindexed_result_image[*], repeated_status
   9   character(len=1) c, character_array(1), coindexed_character[*], message, repeated_message
  10   double precision d, double_precision_array(1)
  11   real             r, real_array(1), coindexed_real[*]
  12   complex          complex_type
  13   logical          bool
  14
  15   !___ standard-conforming calls with no keyword arguments ___
  16   call co_max(i)
  17   call co_max(c)
  18   call co_max(d)
  19   call co_max(r)
  20   call co_max(i, 1)
  21   call co_max(c, 1, status)
  22   call co_max(d, 1, status, message)
  23   call co_max(r, 1, status, message)
  24   call co_max(integer_array)
  25   call co_max(character_array, 1)
  26   call co_max(double_precision_array, 1, status)
  27   call co_max(real_array, 1, status, message)
  28
  29   !___ standard-conforming calls with keyword arguments ___
  30
  31   ! all arguments present
  32   call co_max(a=i, result_image=1, stat=status, errmsg=message)
  33   call co_max(result_image=1, a=i, errmsg=message, stat=status)
  34
  35   ! one optional argument not present
  36   call co_max(a=i,                 stat=status, errmsg=message)
  37   call co_max(a=i, result_image=1,              errmsg=message)
  38   call co_max(a=i, result_image=1, stat=status                )
  39
  40   ! two optional arguments not present
  41   call co_max(a=i, result_image=1                             )
  42   call co_max(a=i,                 stat=status                )
  43   call co_max(a=i,                              errmsg=message)
  44   call co_max(a=i, result_image=coindexed_result_image[1]     )
  45
  46   ! no optional arguments present
  47   call co_max(a=i)
  48
  49   !___ non-standard-conforming calls ___
  50
  51   !ERROR: missing mandatory 'a=' argument
  52   call co_max()
  53
  54   !ERROR: repeated keyword argument to intrinsic 'co_max'
  55   call co_max(a=i, a=c)
  56
  57   !ERROR: repeated keyword argument to intrinsic 'co_max'
  58   call co_max(d, result_image=1, result_image=3)
  59
  60   !ERROR: repeated keyword argument to intrinsic 'co_max'
  61   call co_max(d, 1, stat=status, stat=repeated_status)
  62
  63   !ERROR: repeated keyword argument to intrinsic 'co_max'
  64   call co_max(d, 1, status, errmsg=message, errmsg=repeated_message)
  65
  66   !ERROR: keyword argument to intrinsic 'co_max' was supplied positionally by an earlier actual argument
  67   call co_max(i, 1, a=c)
  68
  69   !ERROR: keyword argument to intrinsic 'co_max' was supplied positionally by an earlier actual argument
  70   call co_max(i, 1, status, result_image=1)
  71
  72   !ERROR: keyword argument to intrinsic 'co_max' was supplied positionally by an earlier actual argument
  73   call co_max(i, 1, status, stat=repeated_status)
  74
  75   !ERROR: keyword argument to intrinsic 'co_max' was supplied positionally by an earlier actual argument
  76   call co_max(i, 1, status, message, errmsg=repeated_message)
  77
  78   ! argument 'a' shall be of numeric type
  79   !ERROR: Actual argument for 'a=' has bad type 'LOGICAL(4)'
  80   call co_max(bool)
  81
  82   ! argument 'a' shall be of numeric type
  83   !ERROR: Actual argument for 'a=' has bad type 'COMPLEX(4)'
  84   call co_max(complex_type)
  85
  86   !ERROR: Actual argument associated with INTENT(IN OUT) dummy argument 'a=' is not definable
  87   !BECAUSE: '2_4' is not a variable or pointer
  88   call co_max(a=1+1)
  89
  90   !ERROR: 'a' argument to 'co_max' may not be a coindexed object
  91   call co_max(a=coindexed_real[1])
  92
  93   !ERROR: Actual argument for 'result_image=' has bad type 'LOGICAL(4)'
  94   call co_max(i, result_image=bool)
  95
  96   !ERROR: 'result_image=' argument has unacceptable rank 1
  97   call co_max(c, result_image=integer_array)
  98
  99   !ERROR: 'stat' argument to 'co_max' may not be a coindexed object
 100   call co_max(d, stat=coindexed_integer[1])
 101
 102   ! 'stat' argument shall be an integer
 103   !ERROR: Actual argument for 'stat=' has bad type 'CHARACTER(KIND=1,LEN=1_8)'
 104   call co_max(r, stat=message)
 105
 106   !ERROR: 'stat=' argument has unacceptable rank 1
 107   call co_max(i, stat=integer_array)
 108
 109   !ERROR: Actual argument associated with INTENT(IN OUT) dummy argument 'errmsg=' is not definable
 110   !BECAUSE: '"c"' is not a variable or pointer
 111   call co_max(a=i, result_image=1, stat=status, errmsg='c')
 112
 113   !ERROR: 'errmsg' argument to 'co_max' may not be a coindexed object
 114   call co_max(c, errmsg=coindexed_character[1])
 115
 116   ! 'errmsg' argument shall be a character
 117   !ERROR: Actual argument for 'errmsg=' has bad type 'INTEGER(4)'
 118   call co_max(c, errmsg=i)
 119
 120   !ERROR: 'errmsg=' argument has unacceptable rank 1
 121   call co_max(d, errmsg=character_array)
 122
 123   !ERROR: actual argument #5 without a keyword may not follow an actual argument with a keyword
 124   call co_max(r, result_image=1, stat=status, errmsg=message, 3.4)
 125
 126   !ERROR: unknown keyword argument to intrinsic 'co_max'
 127   call co_max(fake=3.4)
 128
 129   !ERROR: 'a' argument to 'co_max' may not be a coindexed object
 130   !ERROR: 'errmsg' argument to 'co_max' may not be a coindexed object
 131   !ERROR: 'stat' argument to 'co_max' may not be a coindexed object
 132   call co_max(result_image=coindexed_result_image[1], a=coindexed_real[1], errmsg=coindexed_character[1], stat=coindexed_integer[1])
 133
 134 end program test_co_max