110 lines · plain
1! RUN: %python %S/test_errors.py %s %flang_fc12! Check for semantic errors in image_index() function references3! based on the 16.9.107 section of the Fortran 2023 standard4 5program image_index_test6 use iso_c_binding, only: c_int32_t7 use iso_fortran_env, only: team_type8 implicit none9 10 integer n, array(1), non_coarray, scalar, team_num11 integer scalar_coarray[*], array_coarray(1)[*], coarray_corank3[10, 0:9, 0:*], repeated_coarray[*]12 integer subscripts_corank1(1), subscripts_corank3(3), repeated_sub(1), multi_rank_array(3,3)13 integer, parameter :: const_subscripts_corank1(1) = [1]14 logical non_integer_array(1)15 type(team_type) :: home, league(2), wrong_result_type16 17 !___ non-conforming statements ___18 19 !ERROR: missing mandatory 'coarray=' argument20 n = image_index()21 22 !ERROR: missing mandatory 'sub=' argument23 n = image_index(scalar_coarray)24 25 !ERROR: 'sub=' argument has unacceptable rank 226 n = image_index(scalar_coarray, multi_rank_array)27 28 !ERROR: The size of 'SUB=' (1) for intrinsic 'image_index' must be equal to the corank of 'COARRAY=' (3)29 n = image_index(coarray_corank3, subscripts_corank1, league(1))30 31 !ERROR: The size of 'SUB=' (1) for intrinsic 'image_index' must be equal to the corank of 'COARRAY=' (3)32 n = image_index(coarray_corank3, const_subscripts_corank1, league(1))33 34 !ERROR: The size of 'SUB=' (1) for intrinsic 'image_index' must be equal to the corank of 'COARRAY=' (3)35 n = image_index(coarray_corank3, [1], league(1))36 37 !ERROR: The size of 'SUB=' (6) for intrinsic 'image_index' must be equal to the corank of 'COARRAY=' (3)38 n = image_index(coarray_corank3, [1,2,3,4,5,6])39 40 !ERROR: missing mandatory 'coarray=' argument41 n = image_index(sub=[1])42 43 !ERROR: unknown keyword argument to intrinsic 'image_index'44 n = image_index(team=home)45 46 !ERROR: 'coarray=' argument must have corank > 0 for intrinsic 'image_index'47 n = image_index(non_coarray, [1])48 49 !ERROR: Actual argument for 'sub=' has bad type 'LOGICAL(4)'50 n = image_index(array_coarray, [.true.])51 52 !ERROR: Actual argument for 'sub=' has bad type 'LOGICAL(4)'53 n = image_index(array_coarray, non_integer_array)54 55 !ERROR: 'sub=' argument has unacceptable rank 056 n = image_index(array_coarray, scalar)57 58 !ERROR: unknown keyword argument to intrinsic 'image_index'59 n = image_index(scalar_coarray, subscripts_corank1, team=league)60 61 !ERROR: unknown keyword argument to intrinsic 'image_index'62 n = image_index(scalar_coarray, [1], team=team_num)63 64 !ERROR: too many actual arguments for intrinsic 'image_index'65 n = image_index(array_coarray, [1], home, team_num)66 67 !ERROR: too many actual arguments for intrinsic 'image_index'68 n = image_index(array_coarray, [1], home, team_num)69 70 !ERROR: unknown keyword argument to intrinsic 'image_index'71 n = image_index(array_coarray, [1], team=home, team=league(1))72 73 !ERROR: repeated keyword argument to intrinsic 'image_index'74 n = image_index(coarray=scalar_coarray, sub=[1], coarray=repeated_coarray)75 76 !ERROR: keyword argument to intrinsic 'image_index' was supplied positionally by an earlier actual argument77 n = image_index(scalar_coarray, [1], coarray=repeated_coarray)78 79 !ERROR: repeated keyword argument to intrinsic 'image_index'80 n = image_index(scalar_coarray, sub=subscripts_corank1, sub=repeated_sub)81 82 !ERROR: keyword argument to intrinsic 'image_index' was supplied positionally by an earlier actual argument83 n = image_index(scalar_coarray, subscripts_corank1, sub=repeated_sub)84 85 !ERROR: unknown keyword argument to intrinsic 'image_index'86 n = image_index(scalar_coarray, [1], team_number=array)87 88 !ERROR: unknown keyword argument to intrinsic 'image_index'89 n = image_index(scalar_coarray, [1], team_number=home)90 91 !ERROR: unknown keyword argument to intrinsic 'image_index'92 n = image_index(array_coarray, [1], team=home, team_number=team_num)93 94 !ERROR: unknown keyword argument to intrinsic 'image_index'95 n = image_index(c=scalar_coarray, [1])96 97 !ERROR: unknown keyword argument to intrinsic 'image_index'98 n = image_index(scalar_coarray, subscripts=[1])99 100 !ERROR: unknown keyword argument to intrinsic 'image_index'101 n = image_index(scalar_coarray, [1], team_num=team_num)102 103 !ERROR: unknown keyword argument to intrinsic 'image_index'104 n = image_index(scalar_coarray, [1], teams=home)105 106 !ERROR: No intrinsic or user-defined ASSIGNMENT(=) matches operand types TYPE(team_type) and INTEGER(4)107 wrong_result_type = image_index(scalar_coarray, subscripts_corank1)108 109end program image_index_test110