summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gfortran.dg/implied_shape_1.f08
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gfortran.dg/implied_shape_1.f08')
-rw-r--r--gcc/testsuite/gfortran.dg/implied_shape_1.f0837
1 files changed, 37 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/implied_shape_1.f08 b/gcc/testsuite/gfortran.dg/implied_shape_1.f08
new file mode 100644
index 000000000..07a1ce835
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/implied_shape_1.f08
@@ -0,0 +1,37 @@
+! { dg-do run }
+! { dg-options "-std=f2008 -fall-intrinsics" }
+
+! Test for correct semantics of implied-shape arrays.
+
+! Contributed by Daniel Kraft, d@domob.eu.
+
+PROGRAM main
+ IMPLICIT NONE
+
+ INTEGER, PARAMETER :: n = 3
+
+ ! Should be able to reduce complex expressions.
+ REAL, PARAMETER :: arr1(n:*) = SQRT ((/ 1.0, 2.0, 3.0 /)) + 42
+
+ ! With dimension statement.
+ REAL, DIMENSION(*), PARAMETER :: arr2 = arr1
+
+ ! Rank > 1.
+ INTEGER, PARAMETER :: arr3(n:*, *) = RESHAPE ((/ 1, 2, 3, 4 /), (/ 2, 2/))
+
+ ! Character array.
+ CHARACTER(LEN=*), PARAMETER :: arr4(*) = (/ CHARACTER(LEN=3) :: "ab", "cde" /)
+
+ IF (LBOUND (arr1, 1) /= n .OR. UBOUND (arr1, 1) /= n + 2) CALL abort ()
+ IF (SIZE (arr1) /= 3) CALL abort ()
+
+ IF (LBOUND (arr2, 1) /= 1 .OR. UBOUND (arr2, 1) /= 3) CALL abort ()
+ IF (SIZE (arr2) /= 3) CALL abort ()
+
+ IF (ANY (LBOUND (arr3) /= (/ n, 1 /) .OR. UBOUND (arr3) /= (/ n + 1, 2 /))) &
+ CALL abort ()
+ IF (SIZE (arr3) /= 4) CALL abort ()
+
+ IF (LBOUND (arr4, 1) /= 1 .OR. UBOUND (arr4, 1) /= 2) CALL abort ()
+ IF (SIZE (arr4) /= 2) CALL abort ()
+END PROGRAM main