blob: 205c1e90969ed3d47d844f14604575c10c28036f [file] [log] [blame]
! { dg-do run }
! { dg-additional-options "-fcoarray=single -fdump-tree-original" }
!
! Check that {L,U}{,CO}BOUND intrinsics are properly simplified.
!
type :: t
integer :: c
end type t
type(t) :: d(3:8) = t(7)
type(t) :: e[5:9,-1:*]
if (lbound(d, 1) /= 3) STOP 1
if (lbound(d(3:5), 1) /= 1) STOP 2
if (lbound(d%c, 1) /= 1) STOP 3
if (ubound(d, 1) /= 8) STOP 4
if (ubound(d(3:5), 1) /= 3) STOP 5
if (ubound(d%c, 1) /= 6) STOP 6
if (lcobound(e, 1) /= 5) STOP 7
if (lcobound(e%c, 1) /= 5) STOP 8
if (lcobound(e, 2) /= -1) STOP 9
if (lcobound(e%c, 2) /= -1) STOP 10
if (ucobound(e, 1) /= 9) STOP 11
if (ucobound(e%c, 1) /= 9) STOP 12
! no simplification for ucobound(e{,%c}, dim=2)
end
! { dg-final { scan-tree-dump-not "bound" "original" } }
! { dg-final { scan-tree-dump-not "_gfortran_stop" "original" } }