[flang-commits] [PATCH] D113083: [flang] Add a semantics test for co_max

[Damian Rouson via Phabricator via flang-commits]

rouson updated this revision to Diff 391156.

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D113083/new/

https://reviews.llvm.org/D113083

Files:
  flang/test/Semantics/collectives03.f90


Index: flang/test/Semantics/collectives03.f90
===================================================================
--- /dev/null
+++ flang/test/Semantics/collectives03.f90
@@ -0,0 +1,64 @@
+! RUN: %python %S/test_errors.py %s %flang_fc1
+! XFAIL: *
+! This test checks for semantic errors in co_max subroutine calls based on
+! the co_max interface defined in section 16.9.47 of the Fortran 2018 standard.
+! To Do: add co_max to the evaluation stage
+
+program main
+  implicit none
+
+  integer i, status
+  real vector(1)
+  real coindexed[*]
+  real array(1,1,1, 1,1,1, 1,1,1, 1,1,1, 1,1,1)
+  character(len=1) string, message
+
+  complex complex_type
+  logical logical_type
+  type derived_t
+  end type
+  type(derived_t) derived_type
+
+  ! correct calls, should produce no errors
+  call co_max(i)
+  call co_max(i,   1)
+  call co_max(i,   1,              status)
+  call co_max(i,   1,              stat=status)
+  call co_max(i,   1,                           errmsg=message)
+  call co_max(i,   1,              stat=status, errmsg=message)
+  call co_max(i,   result_image=1, stat=status, errmsg=message)
+  call co_max(a=i, result_image=1, stat=status, errmsg=message)
+
+  call co_max(array,  result_image=1, stat=status, errmsg=message)
+  call co_max(vector, result_image=1, stat=status, errmsg=message)
+  call co_max(string, result_image=1, stat=status, errmsg=message)
+
+  ! incorrect type for the first argument
+  !ERROR: Actual argument for 'a=' has bad type 'LOGICAL(4)'
+  call co_max(logical_type, 1)
+
+  ! incorrect type for the first argument
+  !ERROR: Actual argument for 'a=' has bad type 'COMPLEX(4)'
+  call co_max(complex_type, 1)
+
+  ! incorrect type for the first argument
+  !ERROR: Actual argument for 'a=' has bad type 'derived_t'
+  call co_max(derived_type, 1)
+
+  ! incorrect type for the stat= argument
+  !ERROR: Actual argument for 'stat=' has bad type 'CHARACTER(KIND=1,LEN=1_8)'
+  call co_max(i, 1, message)
+
+  ! too many arguments to the co_max() call
+  !ERROR: too many actual arguments for intrinsic 'co_max'
+  call co_max(i,   result_image=1, stat=status, errmsg=message, 3.4)
+
+  ! keyword argument with incorrect type
+  !ERROR: unknown keyword argument to intrinsic 'co_max'
+  call co_max(fake=3.4)
+
+  ! the standard prohibits coindexed arguments in co_max
+  !ERROR: (message to be determined)
+  call co_max(coindexed[1])
+
+end program


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D113083.391156.patch
Type: text/x-patch
Size: 2406 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20211201/ffbb6d5d/attachment.bin>