gcc/testsuite/gfortran.dg/do_3.F90

   1 ! { dg-do run }
   2 ! { dg-options "-std=legacy -ffree-line-length-none -fno-range-check -fwrapv -Wzerotrip" }
   3 program test
   4   integer :: count
   5   integer :: i
   6   integer(kind=1) :: i1
   7   real :: r
   8
   9 #define TEST_LOOP(var,from,to,step,total,test,final) \
  10   count = 0 ; do var = from, to, step ; count = count + 1 ; end do ; \
  11   if (count /= total) call abort ; \
  12   if (test (from, to, step, final) /= total) call abort
  13
  14   ! Integer loops
  15   TEST_LOOP(i, 0, 0, 1, 1, test_i, 1)
  16   TEST_LOOP(i, 0, 0, 2, 1, test_i, 2)
  17   TEST_LOOP(i, 0, 0, -1, 1, test_i, -1)
  18   TEST_LOOP(i, 0, 0, -2, 1, test_i, -2)
  19
  20   TEST_LOOP(i, 0, 1, 1, 2, test_i, 2)
  21   TEST_LOOP(i, 0, 1, 2, 1, test_i, 2)
  22   TEST_LOOP(i, 0, 1, 3, 1, test_i, 3)
  23   TEST_LOOP(i, 0, 1, huge(0), 1, test_i, huge(0))
  24   TEST_LOOP(i, 0, 1, -1, 0, test_i, 0) ! { dg-warning "executed zero times" }
  25   TEST_LOOP(i, 0, 1, -2, 0, test_i, 0) ! { dg-warning "executed zero times" }
  26   TEST_LOOP(i, 0, 1, -3, 0, test_i, 0) ! { dg-warning "executed zero times" }
  27   TEST_LOOP(i, 0, 1, -huge(0), 0, test_i, 0) ! { dg-warning "executed zero times" }
  28   TEST_LOOP(i, 0, 1, -huge(0)-1, 0, test_i, 0) ! { dg-warning "executed zero times" }
  29
  30   TEST_LOOP(i, 1, 0, 1, 0, test_i, 1) ! { dg-warning "executed zero times" }
  31   TEST_LOOP(i, 1, 0, 2, 0, test_i, 1) ! { dg-warning "executed zero times" }
  32   TEST_LOOP(i, 1, 0, 3, 0, test_i, 1) ! { dg-warning "executed zero times" }
  33   TEST_LOOP(i, 1, 0, huge(0), 0, test_i, 1) ! { dg-warning "executed zero times" }
  34   TEST_LOOP(i, 1, 0, -1, 2, test_i, -1)
  35   TEST_LOOP(i, 1, 0, -2, 1, test_i, -1)
  36   TEST_LOOP(i, 1, 0, -3, 1, test_i, -2)
  37   TEST_LOOP(i, 1, 0, -huge(0), 1, test_i, 1-huge(0))
  38   TEST_LOOP(i, 1, 0, -huge(0)-1, 1, test_i, -huge(0))
  39
  40   TEST_LOOP(i, 0, 17, 1, 18, test_i, 18)
  41   TEST_LOOP(i, 0, 17, 2, 9, test_i, 18)
  42   TEST_LOOP(i, 0, 17, 3, 6, test_i, 18)
  43   TEST_LOOP(i, 0, 17, 4, 5, test_i, 20)
  44   TEST_LOOP(i, 0, 17, 5, 4, test_i, 20)
  45   TEST_LOOP(i, 17, 0, -1, 18, test_i, -1)
  46   TEST_LOOP(i, 17, 0, -2, 9, test_i, -1)
  47   TEST_LOOP(i, 17, 0, -3, 6, test_i, -1)
  48   TEST_LOOP(i, 17, 0, -4, 5, test_i, -3)
  49   TEST_LOOP(i, 17, 0, -5, 4, test_i, -3)
  50
  51   TEST_LOOP(i1, -huge(i1)-1_1, huge(i1), 1_1, int(huge(i1))*2+2, test_i1, huge(i1)+1_1)
  52   TEST_LOOP(i1, -huge(i1)-1_1, huge(i1), 2_1, int(huge(i1))+1, test_i1, huge(i1)+1_1)
  53   TEST_LOOP(i1, -huge(i1)-1_1, huge(i1), huge(i1), 3, test_i1, 2_1*huge(i1)-1_1)
  54
  55   TEST_LOOP(i1, huge(i1), -huge(i1)-1_1, -1_1, int(huge(i1))*2+2, test_i1, -huge(i1)-2_1)
  56   TEST_LOOP(i1, huge(i1), -huge(i1)-1_1, -2_1, int(huge(i1))+1, test_i1, -huge(i1)-2_1)
  57   TEST_LOOP(i1, huge(i1), -huge(i1)-1_1, -huge(i1), 3, test_i1, -2_1*huge(i1))
  58   TEST_LOOP(i1, huge(i1), -huge(i1)-1_1, -huge(i1)-1_1, 2, test_i1, -huge(i1)-2_1)
  59
  60   TEST_LOOP(i1, -2_1, 3_1, huge(i1), 1, test_i1, huge(i1)-2_1)
  61   TEST_LOOP(i1, -2_1, 3_1, -huge(i1), 0, test_i1, -2_1) ! { dg-warning "executed zero times" }
  62   TEST_LOOP(i1, 2_1, -3_1, -huge(i1), 1, test_i1, 2_1-huge(i1))
  63   TEST_LOOP(i1, 2_1, -3_1, huge(i1), 0, test_i1, 2_1) ! { dg-warning "executed zero times" }
  64
  65   ! Real loops
  66   TEST_LOOP(r, 0.0, 1.0, 0.11, 1 + int(1.0/0.11), test_r, 0.0)
  67   TEST_LOOP(r, 0.0, 1.0, -0.11, 0, test_r, 0.0) ! { dg-warning "executed zero times" }
  68   TEST_LOOP(r, 0.0, -1.0, 0.11, 0, test_r, 0.0) ! { dg-warning "executed zero times" }
  69   TEST_LOOP(r, 0.0, -1.0, -0.11, 1 + int(1.0/0.11), test_r, 0.0)
  70   TEST_LOOP(r, 0.0, 0.0, 0.11, 1, test_r, 0.0)
  71   TEST_LOOP(r, 0.0, 0.0, -0.11, 1, test_r, 0.0)
  72
  73 #undef TEST_LOOP
  74
  75 contains
  76
  77   function test_i1 (from, to, step, final) result(res)
  78     integer(kind=1), intent(in) :: from, to, step, final
  79     integer(kind=1) :: i
  80     integer :: res
  81
  82     res = 0
  83     do i = from, to, step
  84       res = res + 1
  85     end do
  86     if (i /= final) call abort
  87   end function test_i1
  88
  89   function test_i (from, to, step, final) result(res)
  90     integer, intent(in) :: from, to, step, final
  91     integer :: i
  92     integer :: res
  93
  94     res = 0
  95     do i = from, to, step
  96       res = res + 1
  97     end do
  98     if (i /= final) call abort
  99   end function test_i
 100
 101   function test_r (from, to, step, final) result(res)
 102     real, intent(in) :: from, to, step, final
 103     real :: i
 104     integer :: res
 105
 106     res = 0
 107     do i = from, to, step
 108       res = res + 1
 109     end do
 110     ! final is ignored
 111   end function test_r
 112
 113 end program test