| ! { dg-do run } |
| ! { dg-additional-options "-fcoarray=single -fdump-tree-original" } |
| ! |
| ! Check that {L,U}{,CO}BOUND intrinsics are properly simplified. |
| ! |
| implicit none |
| |
| type :: t |
| integer :: c |
| end type t |
| |
| type(t) :: d(3:8) = t(7) |
| type(t) :: e[5:9,-1:*] |
| type(t) :: h(3), j(4), k(0) |
| |
| !Test full arrays vs subarrays |
| if (lbound(d, 1) /= 3) call abort |
| if (lbound(d(3:5), 1) /= 1) call abort |
| if (lbound(d%c, 1) /= 1) call abort |
| if (ubound(d, 1) /= 8) call abort |
| if (ubound(d(3:5), 1) /= 3) call abort |
| if (ubound(d%c, 1) /= 6) call abort |
| |
| if (lcobound(e, 1) /= 5) call abort |
| if (lcobound(e%c, 1) /= 5) call abort |
| if (lcobound(e, 2) /= -1) call abort |
| if (lcobound(e%c, 2) /= -1) call abort |
| if (ucobound(e, 1) /= 9) call abort |
| if (ucobound(e%c, 1) /= 9) call abort |
| ! no simplification for ucobound(e{,%c}, dim=2) |
| |
| if (any(lbound(d ) /= [3])) call abort |
| if (any(lbound(d(3:5)) /= [1])) call abort |
| if (any(lbound(d%c ) /= [1])) call abort |
| if (any(ubound(d ) /= [8])) call abort |
| if (any(ubound(d(3:5)) /= [3])) call abort |
| if (any(ubound(d%c ) /= [6])) call abort |
| |
| if (any(lcobound(e ) /= [5, -1])) call abort |
| if (any(lcobound(e%c) /= [5, -1])) call abort |
| ! no simplification for ucobound(e{,%c}) |
| |
| call test_empty_arrays(h, j, k) |
| |
| contains |
| subroutine test_empty_arrays(a, c, d) |
| type(t) :: a(:), c(-3:0), d(3:1) |
| type(t) :: f(4:2), g(0:6) |
| |
| if (lbound(a, 1) /= 1) call abort |
| if (lbound(c, 1) /= -3) call abort |
| if (lbound(d, 1) /= 1) call abort |
| if (lbound(f, 1) /= 1) call abort |
| if (lbound(g, 1) /= 0) call abort |
| |
| if (ubound(c, 1) /= 0) call abort |
| if (ubound(d, 1) /= 0) call abort |
| if (ubound(f, 1) /= 0) call abort |
| if (ubound(g, 1) /= 6) call abort |
| |
| if (any(lbound(a) /= [ 1])) call abort |
| if (any(lbound(c) /= [-3])) call abort |
| if (any(lbound(d) /= [ 1])) call abort |
| if (any(lbound(f) /= [ 1])) call abort |
| if (any(lbound(g) /= [ 0])) call abort |
| |
| if (any(ubound(c) /= [0])) call abort |
| if (any(ubound(d) /= [0])) call abort |
| if (any(ubound(f) /= [0])) call abort |
| if (any(ubound(g) /= [6])) call abort |
| |
| end subroutine |
| end |
| ! { dg-final { scan-tree-dump-not "abort" "original" } } |