flang/test/Semantics/array-constr-values.f90

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