[flang-commits] [flang] 2a40267 - [flang] semantics test for ucobound

[Damian Rouson via flang-commits]

Author: Damian Rouson
Date: 2022-06-09T17:39:25-07:00
New Revision: 2a40267a0d3d6ca4e0a340f9e8a159012e0b6e53

URL: https://github.com/llvm/llvm-project/commit/2a40267a0d3d6ca4e0a340f9e8a159012e0b6e53
DIFF: https://github.com/llvm/llvm-project/commit/2a40267a0d3d6ca4e0a340f9e8a159012e0b6e53.diff

LOG: [flang] semantics test for ucobound

Add a test with a range of ucobound() intrinsic function
invocations, including a comprehensive set of standard-conforming
keyword and non-keyword arguments with and without optional
arguments present and with argument positions covering all
possible orderings.  Also test that several non-conforming
ucobound() invocations generate the correct error messages.

Differential Revision: https://reviews.llvm.org/D126508

Added: 
    flang/test/Semantics/ucobound.f90

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/flang/test/Semantics/ucobound.f90 b/flang/test/Semantics/ucobound.f90
new file mode 100644
index 0000000000000..4bbe6eba95102
--- /dev/null
+++ b/flang/test/Semantics/ucobound.f90
@@ -0,0 +1,78 @@
+! RUN: %python %S/test_errors.py %s %flang_fc1
+! XFAIL: *
+! Check for semantic errors in ucobound() function references
+
+program ucobound_tests
+  use iso_c_binding, only : c_int32_t
+  implicit none
+
+  integer n, i, array(1), non_coarray(1), scalar_coarray[*], array_coarray(1)[*], non_constant, scalar
+  logical non_integer
+  integer, allocatable :: ucobounds(:)
+  integer, parameter :: non_existent=2
+
+  !___ standard-conforming statement with no optional arguments present ___
+  ucobounds = ucobound(scalar_coarray)
+  ucobounds = ucobound(array_coarray)
+  ucobounds = ucobound(coarray=scalar_coarray)
+
+  !___ standard-conforming statements with optional dim argument present ___
+  n = ucobound(scalar_coarray, 1)
+  n = ucobound(scalar_coarray, dim=1)
+  n = ucobound(coarray=scalar_coarray, dim=1)
+  n = ucobound( dim=1, coarray=scalar_coarray)
+
+  !___ standard-conforming statements with optional kind argument present ___
+  n = ucobound(scalar_coarray, 1, c_int32_t)
+
+  n = ucobound(scalar_coarray, 1, kind=c_int32_t)
+
+  n = ucobound(scalar_coarray, dim=1, kind=c_int32_t)
+  n = ucobound(scalar_coarray, kind=c_int32_t, dim=1)
+
+  ucobounds = ucobound(scalar_coarray, kind=c_int32_t)
+
+  ucobounds = ucobound(coarray=scalar_coarray, kind=c_int32_t)
+  ucobounds = ucobound(kind=c_int32_t, coarray=scalar_coarray)
+
+  n = ucobound(coarray=scalar_coarray, dim=1, kind=c_int32_t)
+  n = ucobound(dim=1, coarray=scalar_coarray, kind=c_int32_t)
+  n = ucobound(kind=c_int32_t, coarray=scalar_coarray, dim=1)
+  n = ucobound(dim=1, kind=c_int32_t, coarray=scalar_coarray)
+  n = ucobound(kind=c_int32_t, dim=1, coarray=scalar_coarray)
+
+  !___ non-conforming statements ___
+  n = ucobound(scalar_coarray, dim=1)
+  n = ucobound(array_coarray, dim=non_existent)
+  scalar = ucobound(scalar_coarray)
+
+  n = ucobound(dim=i)
+
+  n = ucobound(scalar_coarray, non_integer)
+
+  n = ucobound(scalar_coarray, dim=non_integer)
+
+  ucobounds = ucobound(scalar_coarray, kind=non_integer)
+  ucobounds = ucobound(scalar_coarray, kind=non_constant)
+
+  n = ucobound(dim=i, kind=c_int32_t)
+
+  n = ucobound(coarray=scalar_coarray, i)
+
+  ucobounds = ucobound(3.4)
+
+  n = ucobound(scalar_coarray, i, c_int32_t, 0)
+
+  ucobounds = ucobound(coarray=non_coarray)
+
+  n = ucobound(scalar_coarray, i, kind=non_integer)
+
+  n = ucobound(scalar_coarray, array )
+
+  ucobounds = ucobound(c=scalar_coarray)
+
+  n = ucobound(scalar_coarray, dims=i)
+
+  n = ucobound(scalar_coarray, i, kinds=c_int32_t)
+
+end program ucobound_tests