1! RUN: %python %S/test_errors.py %s %flang_fc1 2! Confirm enforcement of constraints and restrictions in 7.8 3! C7110, C7111, C7112, C7113, C7114, C7115 4 5subroutine arrayconstructorvalues() 6 integer :: intarray(4) 7 integer(KIND=8) :: k8 = 20 8 9 TYPE EMPLOYEE 10 INTEGER AGE 11 CHARACTER (LEN = 30) NAME 12 END TYPE EMPLOYEE 13 TYPE EMPLOYEER 14 CHARACTER (LEN = 30) NAME 15 END TYPE EMPLOYEER 16 17 TYPE(EMPLOYEE) :: emparray(3) 18 class(*), pointer :: unlim_polymorphic 19 TYPE, ABSTRACT :: base_type 20 INTEGER :: CARPRIZE 21 END TYPE 22 ! Different declared type 23 !ERROR: Values in array constructor must have the same declared type when no explicit type appears 24 intarray = (/ 1, 2, 3, 4., 5/) ! C7110 25 ! Different kind type parameter 26 !ERROR: Values in array constructor must have the same declared type when no explicit type appears 27 intarray = (/ 1,2,3,4, k8 /) ! C7110 28 29 ! C7111 30 !ERROR: Value in array constructor of type 'LOGICAL(4)' could not be converted to the type of the array 'INTEGER(4)' 31 intarray = [integer:: .true., 2, 3, 4, 5] 32 !ERROR: Value in array constructor of type 'CHARACTER(KIND=1,LEN=22_8)' could not be converted to the type of the array 'INTEGER(4)' 33 intarray = [integer:: "RAM stores information", 2, 3, 4, 5] 34 !ERROR: Value in array constructor of type 'employee' could not be converted to the type of the array 'INTEGER(4)' 35 intarray = [integer:: EMPLOYEE (19, "Jack"), 2, 3, 4, 5] 36 37 ! C7112 38 !ERROR: Dimension 1 of left-hand side has extent 3, but right-hand side has extent 2 39 !ERROR: Value in array constructor of type 'INTEGER(4)' could not be converted to the type of the array 'employee' 40 emparray = (/ EMPLOYEE:: EMPLOYEE(19, "Ganesh"), EMPLOYEE(22, "Omkar"), 19 /) 41 !ERROR: Dimension 1 of left-hand side has extent 3, but right-hand side has extent 2 42 !ERROR: Value in array constructor of type 'employeer' could not be converted to the type of the array 'employee' 43 emparray = (/ EMPLOYEE:: EMPLOYEE(19, "Ganesh"), EMPLOYEE(22, "Ram"),EMPLOYEER("ShriniwasPvtLtd") /) 44 45 ! C7113 46 !ERROR: Cannot have an unlimited polymorphic value in an array constructor 47 intarray = (/ unlim_polymorphic, 2, 3, 4, 5/) 48 49 ! C7114, F'2023 C7125 50 !ERROR: No intrinsic or user-defined ASSIGNMENT(=) matches operand types INTEGER(4) and TYPE(base_type) 51 !ERROR: ABSTRACT derived type 'base_type' may not be used in a structure constructor 52 !ERROR: An item whose declared type is ABSTRACT may not appear in an array constructor 53 !ERROR: Values in array constructor must have the same declared type when no explicit type appears 54 intarray = (/ base_type(10), 2, 3, 4, 5 /) 55 56 !ERROR: Item is not suitable for use in an array constructor 57 intarray(1:1) = [ arrayconstructorvalues ] 58end subroutine arrayconstructorvalues 59subroutine checkC7115() 60 real, dimension(10), parameter :: good1 = [(99.9, i = 1, 10)] 61 real, dimension(100), parameter :: good2 = [((88.8, i = 1, 10), j = 1, 10)] 62 real, dimension(-1:0), parameter :: good3 = [77.7, 66.6] 63 !ERROR: Implied DO index 'i' is active in a surrounding implied DO loop and may not have the same name 64 real, dimension(100), parameter :: bad = [((88.8, i = 1, 10), i = 1, 10)] 65 66 !ERROR: Value of named constant 'bad2' ([INTEGER(4)::(int(j,kind=4),INTEGER(8)::j=1_8,1_8,0_8)]) cannot be computed as a constant value 67 !ERROR: The stride of an implied DO loop must not be zero 68 integer, parameter :: bad2(*) = [(j, j=1,1,0)] 69 integer, parameter, dimension(-1:0) :: negLower = (/343,512/) 70 integer, parameter, dimension(-1:0) :: negLower1 = ((/343,512/)) 71 72 real :: local 73 74 local = good3(0) 75 !ERROR: Subscript value (2) is out of range on dimension 1 in reference to a constant array value 76 local = good3(2) 77 call inner(negLower(:)) ! OK 78 call inner(negLower1(:)) ! OK 79 80 contains 81 subroutine inner(arg) 82 integer :: arg(:) 83 end subroutine inner 84end subroutine checkC7115 85subroutine checkOkDuplicates 86 real :: realArray(21) = & 87 [ ((1.0, iDuplicate = 1,j), & 88 (0.0, iDuplicate = j,3 ), & 89 j = 1,5 ) ] 90end subroutine 91subroutine charLengths(c, array) 92 character(3) :: c 93 character(3) :: array(2) 94 !No error should ensue for distinct but compatible DynamicTypes 95 array = ["abc", c] 96end subroutine 97