gcc/testsuite/gfortran.dg/bound_simplification_4.f90

   1 ! { dg-do run }
   2 ! { dg-additional-options "-fcoarray=single -fdump-tree-original" }
   3 !
   4 ! Check that {L,U}{,CO}BOUND intrinsics are properly simplified.
   5 !
   6   type :: t
   7     integer :: c
   8   end type t
   9
  10   type(t) :: d(3:8) = t(7)
  11   type(t) :: e[5:9,-1:*]
  12
  13   if (lbound(d,      1) /= 3) STOP 1
  14   if (lbound(d(3:5), 1) /= 1) STOP 2
  15   if (lbound(d%c,    1) /= 1) STOP 3
  16   if (ubound(d,      1) /= 8) STOP 4
  17   if (ubound(d(3:5), 1) /= 3) STOP 5
  18   if (ubound(d%c,    1) /= 6) STOP 6
  19
  20   if (lcobound(e,   1) /=  5) STOP 7
  21   if (lcobound(e%c, 1) /=  5) STOP 8
  22   if (lcobound(e,   2) /= -1) STOP 9
  23   if (lcobound(e%c, 2) /= -1) STOP 10
  24   if (ucobound(e,   1) /=  9) STOP 11
  25   if (ucobound(e%c, 1) /=  9) STOP 12
  26   ! no simplification for ucobound(e{,%c}, dim=2)
  27 end
  28 ! { dg-final { scan-tree-dump-not "bound" "original" } }
  29 ! { dg-final { scan-tree-dump-not "_gfortran_stop" "original" } }