blob: effbaa12a2d95b72ada52e06c07f4d910f818b77 (
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
40
41
42
43
|
! { dg-do run }
! { dg-additional-options "-fdump-tree-original" }
! { dg-final { scan-tree-dump-times "CLOBBER" 2 "original" } }
!
! PR fortran/106817
! Check that for an actual argument whose dummy is INTENT(OUT),
! the clobber that is emitted in the caller before a procedure call
! happens after any expression depending on the argument value has been
! evaluated.
!
module m
implicit none
contains
subroutine copy1(out, in)
integer, intent(in) :: in
integer, intent(out) :: out
out = in
end subroutine copy1
subroutine copy2(in, out)
integer, intent(in) :: in
integer, intent(out) :: out
out = in
end subroutine copy2
end module m
program p
use m
implicit none
integer :: a, b
! Clobbering of a should happen after a+1 has been evaluated.
a = 3
call copy1(a, a+1)
if (a /= 4) stop 1
! Clobbering order does not depend on the order of arguments.
! It should also come last with reversed arguments.
b = 12
call copy2(b+1, b)
if (b /= 13) stop 2
end program p
|
