c: Fix up pointer types to may_alias structures [PR114493]
[official-gcc.git] / gcc / testsuite / gfortran.dg / pointer_remapping_5.f08
blobcdfb52cc71990b77d0ba657eef507f684d9d1353
1 ! { dg-do run }
2 ! { dg-options "-std=f2008  -fcheck=bounds" }
4 ! PR fortran/29785
5 ! Check pointer rank remapping at runtime.
7 ! Contributed by Daniel Kraft, d@domob.eu.
9 PROGRAM main
10   IMPLICIT NONE
11   INTEGER, TARGET :: arr(12), basem(3, 4)
12   INTEGER, POINTER :: vec(:), mat(:, :)
13   INTEGER :: i
15   arr = (/ (i, i = 1, 12) /)
16   basem = RESHAPE (arr, SHAPE (basem))
18   ! We need not necessarily change the rank...
19   vec(2_1:5) => arr(1_1:12_1:2_1)
20   IF (LBOUND (vec, 1) /= 2 .OR. UBOUND (vec, 1) /= 5) STOP 1
21   IF (ANY (vec /= (/ 1, 3, 5, 7 /))) STOP 2
22   IF (vec(2) /= 1 .OR. vec(5) /= 7) STOP 3
24   ! ...but it is of course the more interesting.  Also try remapping a pointer.
25   vec => arr(1:12:2)
26   mat(1:3, 1:2) => vec
27   IF (ANY (LBOUND (mat) /= (/ 1, 1 /) .OR. UBOUND (mat) /= (/ 3, 2 /))) &
28     STOP 4
29   IF (ANY (mat /= RESHAPE (arr(1:12:2), SHAPE (mat)))) STOP 5
30   IF (mat(1, 1) /= 1 .OR. mat(1, 2) /= 7) STOP 6
32   ! Remap with target of rank > 1.
33   vec(1:12_1) => basem
34   IF (LBOUND (vec, 1) /= 1 .OR. UBOUND (vec, 1) /= 12) STOP 7
35   IF (ANY (vec /= arr)) STOP 8
36   IF (vec(1) /= 1 .OR. vec(5) /= 5 .OR. vec(12) /= 12) STOP 9
37 END PROGRAM main