| ! RUN: not %flang_fc1 %s 2>&1 | FileCheck %s |
| ! Check errors found in folding |
| ! TODO: test others emitted from flang/lib/Evaluate |
| module m |
| contains |
| subroutine s1(a,b) |
| real :: a(*), b(:) |
| !CHECK: error: DIM=1 dimension is out of range for rank-1 assumed-size array |
| integer :: ub1(ubound(a,1)) |
| !CHECK-NOT: error: DIM=1 dimension is out of range for rank-1 assumed-size array |
| integer :: lb1(lbound(a,1)) |
| !CHECK: error: DIM=0 dimension is out of range for rank-1 array |
| integer :: ub2(ubound(a,0)) |
| !CHECK: error: DIM=2 dimension is out of range for rank-1 array |
| integer :: ub3(ubound(a,2)) |
| !CHECK: error: DIM=0 dimension is out of range for rank-1 array |
| integer :: lb2(lbound(b,0)) |
| !CHECK: error: DIM=2 dimension is out of range for rank-1 array |
| integer :: lb3(lbound(b,2)) |
| end subroutine |
| subroutine s2 |
| integer, parameter :: array(2,3) = reshape([(j, j=1, 6)], shape(array)) |
| integer :: x(2, 3) |
| !CHECK: error: Invalid 'dim=' argument (0) in CSHIFT |
| x = cshift(array, [1, 2], dim=0) |
| !CHECK: error: Invalid 'shift=' argument in CSHIFT: extent on dimension 1 is 2 but must be 3 |
| x = cshift(array, [1, 2], dim=1) |
| end subroutine |
| subroutine s3 |
| integer, parameter :: array(2,3) = reshape([(j, j=1, 6)], shape(array)) |
| integer :: x(2, 3) |
| !CHECK: error: Invalid 'dim=' argument (0) in EOSHIFT |
| x = eoshift(array, [1, 2], dim=0) |
| !CHECK: error: Invalid 'shift=' argument in EOSHIFT: extent on dimension 1 is 2 but must be 3 |
| x = eoshift(array, [1, 2], dim=1) |
| !CHECK: error: Invalid 'boundary=' argument in EOSHIFT: extent on dimension 1 is 3 but must be 2 |
| x = eoshift(array, 1, [0, 0, 0], 2) |
| end subroutine |
| subroutine s4 |
| integer, parameter :: array(2,3) = reshape([(j, j=1, 6)], shape(array)) |
| logical, parameter :: mask(*,*) = reshape([(.true., j=1,3),(.false., j=1,3)], shape(array)) |
| integer :: x(3) |
| !CHECK: error: Invalid 'vector=' argument in PACK: the 'mask=' argument has 3 true elements, but the vector has only 2 elements |
| x = pack(array, mask, [0,0]) |
| end subroutine |
| subroutine s5 |
| logical, parameter :: mask(2,3) = reshape([.false., .true., .true., .false., .false., .true.], shape(mask)) |
| integer, parameter :: field(3,2) = reshape([(-j,j=1,6)], shape(field)) |
| integer :: x(2,3) |
| !CHECK: error: Invalid 'vector=' argument in UNPACK: the 'mask=' argument has 3 true elements, but the vector has only 2 elements |
| x = unpack([1,2], mask, 0) |
| end subroutine |
| subroutine s6 |
| !CHECK: error: POS=-1 out of range for BTEST |
| logical, parameter :: bad1 = btest(0, -1) |
| !CHECK: error: POS=32 out of range for BTEST |
| logical, parameter :: bad2 = btest(0, 32) |
| !CHECK-NOT: error: POS=33 out of range for BTEST |
| logical, parameter :: ok1 = btest(0_8, 33) |
| !CHECK: error: POS=64 out of range for BTEST |
| logical, parameter :: bad4 = btest(0_8, 64) |
| end subroutine |
| subroutine s7 |
| !CHECK: error: SHIFT=-33 count for ishft is less than -32 |
| integer, parameter :: bad1 = ishft(1, -33) |
| integer, parameter :: ok1 = ishft(1, -32) |
| integer, parameter :: ok2 = ishft(1, 32) |
| !CHECK: error: SHIFT=33 count for ishft is greater than 32 |
| integer, parameter :: bad2 = ishft(1, 33) |
| !CHECK: error: SHIFT=-65 count for ishft is less than -64 |
| integer(8), parameter :: bad3 = ishft(1_8, -65) |
| integer(8), parameter :: ok3 = ishft(1_8, -64) |
| integer(8), parameter :: ok4 = ishft(1_8, 64) |
| !CHECK: error: SHIFT=65 count for ishft is greater than 64 |
| integer(8), parameter :: bad4 = ishft(1_8, 65) |
| end subroutine |
| subroutine s8 |
| !CHECK: error: SHIFT=-33 count for shiftl is negative |
| integer, parameter :: bad1 = shiftl(1, -33) |
| !CHECK: error: SHIFT=-32 count for shiftl is negative |
| integer, parameter :: bad2 = shiftl(1, -32) |
| integer, parameter :: ok1 = shiftl(1, 32) |
| !CHECK: error: SHIFT=33 count for shiftl is greater than 32 |
| integer, parameter :: bad3 = shiftl(1, 33) |
| !CHECK: error: SHIFT=-65 count for shiftl is negative |
| integer(8), parameter :: bad4 = shiftl(1_8, -65) |
| !CHECK: error: SHIFT=-64 count for shiftl is negative |
| integer(8), parameter :: bad5 = shiftl(1_8, -64) |
| integer(8), parameter :: ok2 = shiftl(1_8, 64) |
| !CHECK: error: SHIFT=65 count for shiftl is greater than 64 |
| integer(8), parameter :: bad6 = shiftl(1_8, 65) |
| end subroutine |
| subroutine s9 |
| integer, parameter :: rank15(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) = 1 |
| !CHECK: error: SOURCE= argument to SPREAD has rank 15 but must have rank less than 15 |
| integer, parameter :: bad1 = spread(rank15, 1, 1) |
| integer, parameter :: matrix(2, 2) = reshape([1, 2, 3, 4], [2, 2]) |
| !CHECK: error: DIM=0 argument to SPREAD must be between 1 and 3 |
| integer, parameter :: bad2 = spread(matrix, 0, 1) |
| !CHECK: error: DIM=4 argument to SPREAD must be between 1 and 3 |
| integer, parameter :: bad3 = spread(matrix, 4, 1) |
| end subroutine |
| end module |