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