blob: 4d5eedf2ae14da14cc128bb95456edb91e01ed47 (
plain)
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
|
! { dg-do run }
! { dg-options "-fbounds-check" }
! Tests the fix for PR30003, in which the 'end' of an array section
! would not be evaluated at all if it was on the lhs of an assignment
! or would be evaluated many times if bound checking were on.
!
! Contributed by Erik Edelmann <eedelmann@gcc.gnu.org>
!
implicit none
integer :: a(5), b(3), cnt
b = [ 1, 2, 3 ]
! Check the lhs references
cnt = 0
a(bar(1):3) = b
if (cnt /= 1) call abort ()
cnt = 0
a(1:bar(3)) = b
if (cnt /= 1) call abort ()
cnt = 0
a(1:3:bar(1)) = b
if (cnt /= 1) call abort ()
! Check the rhs references
cnt = 0
a(1:3) = b(bar(1):3)
if (cnt /= 1) call abort ()
cnt = 0
a(1:3) = b(1:bar(3))
if (cnt /= 1) call abort ()
cnt = 0
a(1:3) = b(1:3:bar(1))
if (cnt /= 1) call abort ()
contains
integer function bar(n)
integer, intent(in) :: n
cnt = cnt + 1
bar = n
end function bar
end
|
