diff options
Diffstat (limited to 'gcc/testsuite/gfortran.dg/bound_8.f90')
| -rw-r--r-- | gcc/testsuite/gfortran.dg/bound_8.f90 | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/bound_8.f90 b/gcc/testsuite/gfortran.dg/bound_8.f90 new file mode 100644 index 000000000..046fc7eb2 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/bound_8.f90 @@ -0,0 +1,44 @@ +! { dg-do run } +! { dg-options "-Warray-temporaries -fall-intrinsics" } + +! Check that LBOUND/UBOUND/SIZE/SHAPE of array-expressions get simplified +! in certain cases. +! There should no array-temporaries warnings pop up, as this means that +! the intrinsic call has not been properly simplified. + +! Contributed by Daniel Kraft, d@domob.eu. + +PROGRAM main + IMPLICIT NONE + + ! Some explicitely shaped arrays and allocatable ones. + INTEGER :: a(2, 3), b(0:1, 4:6) + INTEGER, ALLOCATABLE :: x(:, :), y(:, :) + + ! Allocate to matching sizes and initialize. + ALLOCATE (x(-1:0, -3:-1), y(11:12, 3)) + a = 0 + b = 1 + x = 2 + y = 3 + + ! Run the checks. This should be simplified without array temporaries, + ! and additionally correct (of course). + + ! Shape of expressions known at compile-time. + IF (ANY (LBOUND (a + b) /= 1)) CALL abort () + IF (ANY (UBOUND (2 * b) /= (/ 2, 3 /))) CALL abort () + IF (ANY (SHAPE (- b) /= (/ 2, 3 /))) CALL abort () + IF (SIZE (a ** 2) /= 6) CALL abort + + ! Shape unknown at compile-time. + IF (ANY (LBOUND (x + y) /= 1)) CALL abort () + IF (SIZE (x ** 2) /= 6) CALL abort () + + ! Unfortunately, the array-version of UBOUND and SHAPE keep generating + ! temporary arrays for their results (not for the operation). Thus we + ! can not check SHAPE in this case and do UBOUND in the single-dimension + ! version. + IF (UBOUND (2 * y, 1) /= 2 .OR. UBOUND (2 * y, 2) /= 3) CALL abort () + !IF (ANY (SHAPE (- y) /= (/ 2, 3 /))) CALL abort () +END PROGRAM main |