flang/test/Semantics/reshape.f90

   1 ! RUN: %python %S/test_errors.py %s %flang_fc1
   2
   3 !Tests for RESHAPE
   4 program reshaper
   5   ! RESHAPE with arguments SOURCE and SHAPE
   6   integer, parameter :: array1(2,3) = RESHAPE([(n, n=1,6)], [2,3])
   7   ! RESHAPE with arguments SOURCE, SHAPE, and PAD
   8   integer :: array2(2,3) = RESHAPE([(n, n=1,4)], [2,3], [99])
   9   ! RESHAPE with arguments SOURCE, SHAPE, PAD, and ORDER
  10   integer :: array3(2,3) = RESHAPE([(n, n=1,4)], [2,3], [99], [2, 1])
  11   !ERROR: Too few elements in 'source=' argument and 'pad=' argument is not present or has null size
  12   integer :: array4(2,3) = RESHAPE([(n, n=1,5)], [2,3])
  13   !ERROR: Actual argument for 'shape=' has bad type 'REAL(4)'
  14   integer :: array5(2,3) = RESHAPE([(n, n=1,6)], [2.2,3.3])
  15   !ERROR: 'shape=' argument must be an array of rank 1
  16   integer :: array6(2,3) = RESHAPE([(n, n=1,6)], RESHAPE([(n, n=1,6)], [2,3]))
  17   !ERROR: 'shape=' argument must be an array of rank 1
  18   integer :: array7(2,3) = RESHAPE([(n, n=1,4)], 343)
  19   !ERROR: Actual argument for 'pad=' has bad type or kind 'INTEGER(8)'
  20   integer :: array8(2,3) = RESHAPE([(n, n=1,4)], [2,3], [99_8])
  21   !ERROR: Actual argument for 'pad=' has bad type or kind 'REAL(4)'
  22   real :: array9(2,3) = RESHAPE([(n, n=1,4)], [2,3], [99.9])
  23   !ERROR: Invalid 'order=' argument in RESHAPE
  24   real :: array10(2,3) = RESHAPE([(n,n=1,4)],[2,3],[99],[2,3])
  25   !ERROR: Actual argument for 'order=' has bad type 'REAL(4)'
  26   real :: array11(2,3) = RESHAPE([(n, n=1,4)], [2,3], [99], [2.2,3.3])
  27   !ERROR: Invalid 'order=' argument in RESHAPE
  28   real :: array12(2,3) = RESHAPE([(n, n=1,4)], [2,3], [99], [1])
  29   !ERROR: Invalid 'order=' argument in RESHAPE
  30   real :: array13(2,3) = RESHAPE([(n, n = 1, 4)], [2, 3], [99], [1, 1])
  31
  32   ! Examples that have caused problems
  33   integer :: array14(0,0,0) = RESHAPE([(n,n=1,0)],[0,0,0])
  34   integer, parameter :: array15(1) = RESHAPE([(n,n=1,2)],[1])
  35   integer, parameter :: array16(1) = RESHAPE([(n,n=1,8)],[1], [0], array15)
  36   integer, parameter, dimension(3,4) :: array17 = 3
  37   integer, parameter, dimension(3,4) :: array18 = RESHAPE(array17, [3,4])
  38   integer, parameter, dimension(2,2) :: bad_order = reshape([1, 2, 3, 4], [2,2])
  39   real :: array20(2,3)
  40   ! Implicit reshape of array of components
  41   type :: dType
  42     integer :: field(2)
  43   end type dType
  44   type(dType), parameter :: array19(*) = [dType::dType(field=[1,2])]
  45   logical, parameter :: lVar = all(array19(:)%field(1) == [2])
  46
  47   ! RESHAPE on array with maximum valid upper bound
  48   integer(8), parameter :: I64_MAX = INT(z'7fffffffffffffff', kind=8)
  49   integer, parameter :: array21(I64_MAX - 2 : I64_MAX) = [1, 2, 3]
  50   integer, parameter :: array22(2) = RESHAPE(array21, [2])
  51
  52   integer(8), parameter :: huge_shape(2) = [I64_MAX, I64_MAX]
  53   !ERROR: 'shape=' argument has too many elements
  54   integer :: array23(I64_MAX, I64_MAX) = RESHAPE([1, 2, 3], huge_shape)
  55
  56   !ERROR: Size of 'shape=' argument must not be greater than 15
  57   CALL ext_sub(RESHAPE([(n, n=1,20)], &
  58     [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]))
  59   !ERROR: Reference to the procedure 'ext_sub' has an implicit interface that is distinct from another reference: incompatible dummy argument #1: incompatible dummy data object shapes
  60   !ERROR: 'shape=' argument must not have a negative extent
  61   CALL ext_sub(RESHAPE([(n, n=1,20)], [1, -5, 3]))
  62   !ERROR: 'order=' argument has unacceptable rank 2
  63   array20 = RESHAPE([(n, n = 1, 4)], [2, 3], order = bad_order)
  64 end program reshaper