! { dg-do run }
! { dg-options "-std=f2008 " }

! 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) STOP 1
  IF (SIZE (arr1) /= 3) STOP 2

  IF (LBOUND (arr2, 1) /= 1 .OR. UBOUND (arr2, 1) /= 3) STOP 3
  IF (SIZE (arr2) /= 3) STOP 4

  IF (ANY (LBOUND (arr3) /= (/ n, 1 /) .OR. UBOUND (arr3) /= (/ n + 1, 2 /))) &
    STOP 5
  IF (SIZE (arr3) /= 4) STOP 6

  IF (LBOUND (arr4, 1) /= 1 .OR. UBOUND (arr4, 1) /= 2) STOP 7
  IF (SIZE (arr4) /= 2) STOP 8
END PROGRAM main