gcc/testsuite/gfortran.dg/bound_simplification_5.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   implicit none
   7
   8   type :: t
   9     integer :: c
  10   end type t
  11
  12   type(t) :: d(3:8) = t(7)
  13   type(t) :: e[5:9,-1:*]
  14   type(t) :: h(3), j(4), k(0)
  15
  16   !Test full arrays vs subarrays
  17   if (lbound(d,      1) /= 3) STOP 1
  18   if (lbound(d(3:5), 1) /= 1) STOP 2
  19   if (lbound(d%c,    1) /= 1) STOP 3
  20   if (ubound(d,      1) /= 8) STOP 4
  21   if (ubound(d(3:5), 1) /= 3) STOP 5
  22   if (ubound(d%c,    1) /= 6) STOP 6
  23
  24   if (lcobound(e,   1) /=  5) STOP 7
  25   if (lcobound(e%c, 1) /=  5) STOP 8
  26   if (lcobound(e,   2) /= -1) STOP 9
  27   if (lcobound(e%c, 2) /= -1) STOP 10
  28   if (ucobound(e,   1) /=  9) STOP 11
  29   if (ucobound(e%c, 1) /=  9) STOP 12
  30   ! no simplification for ucobound(e{,%c}, dim=2)
  31
  32   if (any(lbound(d     ) /= [3])) STOP 13
  33   if (any(lbound(d(3:5)) /= [1])) STOP 14
  34   if (any(lbound(d%c   ) /= [1])) STOP 15
  35   if (any(ubound(d     ) /= [8])) STOP 16
  36   if (any(ubound(d(3:5)) /= [3])) STOP 17
  37   if (any(ubound(d%c   ) /= [6])) STOP 18
  38
  39   if (any(lcobound(e  ) /=  [5, -1])) STOP 19
  40   if (any(lcobound(e%c) /=  [5, -1])) STOP 20
  41   ! no simplification for ucobound(e{,%c})
  42
  43   call test_empty_arrays(h, j, k)
  44
  45 contains
  46   subroutine test_empty_arrays(a, c, d)
  47     type(t) :: a(:), c(-3:0), d(3:1)
  48     type(t) :: f(4:2), g(0:6)
  49
  50     if (lbound(a, 1) /=  1) STOP 21
  51     if (lbound(c, 1) /= -3) STOP 22
  52     if (lbound(d, 1) /=  1) STOP 23
  53     if (lbound(f, 1) /=  1) STOP 24
  54     if (lbound(g, 1) /=  0) STOP 25
  55
  56     if (ubound(c, 1) /=  0) STOP 26
  57     if (ubound(d, 1) /=  0) STOP 27
  58     if (ubound(f, 1) /=  0) STOP 28
  59     if (ubound(g, 1) /=  6) STOP 29
  60
  61     if (any(lbound(a) /= [ 1])) STOP 30
  62     if (any(lbound(c) /= [-3])) STOP 31
  63     if (any(lbound(d) /= [ 1])) STOP 32
  64     if (any(lbound(f) /= [ 1])) STOP 33
  65     if (any(lbound(g) /= [ 0])) STOP 34
  66
  67     if (any(ubound(c) /= [0])) STOP 35
  68     if (any(ubound(d) /= [0])) STOP 36
  69     if (any(ubound(f) /= [0])) STOP 37
  70     if (any(ubound(g) /= [6])) STOP 38
  71
  72   end subroutine
  73 end
  74 ! { dg-final { scan-tree-dump-not "abort" "original" } }