! { dg-do run }
! { dg-options "-std=f2008 -fall-intrinsics -fcheck=bounds" }

! PR fortran/29785
! Check pointer rank remapping at runtime.

! Contributed by Daniel Kraft, d@domob.eu.

PROGRAM main
  IMPLICIT NONE
  INTEGER, TARGET :: arr(12), basem(3, 4)
  INTEGER, POINTER :: vec(:), mat(:, :)
  INTEGER :: i

  arr = (/ (i, i = 1, 12) /)
  basem = RESHAPE (arr, SHAPE (basem))

  ! We need not necessarily change the rank...
  vec(2_1:5) => arr(1_1:12_1:2_1)
  IF (LBOUND (vec, 1) /= 2 .OR. UBOUND (vec, 1) /= 5) CALL abort ()
  IF (ANY (vec /= (/ 1, 3, 5, 7 /))) CALL abort ()
  IF (vec(2) /= 1 .OR. vec(5) /= 7) CALL abort ()

  ! ...but it is of course the more interesting.  Also try remapping a pointer.
  vec => arr(1:12:2)
  mat(1:3, 1:2) => vec
  IF (ANY (LBOUND (mat) /= (/ 1, 1 /) .OR. UBOUND (mat) /= (/ 3, 2 /))) &
    CALL abort ()
  IF (ANY (mat /= RESHAPE (arr(1:12:2), SHAPE (mat)))) CALL abort ()
  IF (mat(1, 1) /= 1 .OR. mat(1, 2) /= 7) CALL abort ()

  ! Remap with target of rank > 1.
  vec(1:12_1) => basem
  IF (LBOUND (vec, 1) /= 1 .OR. UBOUND (vec, 1) /= 12) CALL abort ()
  IF (ANY (vec /= arr)) CALL abort ()
  IF (vec(1) /= 1 .OR. vec(5) /= 5 .OR. vec(12) /= 12) CALL abort ()
END PROGRAM main