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
|
! { dg-do run }
!
! PR fortran/41872
!
!
program test
implicit none
integer, allocatable :: a
integer, allocatable :: b
allocate(a)
call foo(a)
if(.not. allocated(a)) call abort()
if (a /= 5) call abort()
call bar(a)
if (a /= 7) call abort()
deallocate(a)
if(allocated(a)) call abort()
call check3(a)
if(.not. allocated(a)) call abort()
if(a /= 6874) call abort()
call check4(a)
if(.not. allocated(a)) call abort()
if(a /= -478) call abort()
allocate(b)
b = 7482
call checkOptional(.false.,.true., 7482)
if (b /= 7482) call abort()
call checkOptional(.true., .true., 7482, b)
if (b /= 46) call abort()
contains
subroutine foo(a)
integer, allocatable, intent(out) :: a
if(allocated(a)) call abort()
allocate(a)
a = 5
end subroutine foo
subroutine bar(a)
integer, allocatable, intent(inout) :: a
if(.not. allocated(a)) call abort()
if (a /= 5) call abort()
a = 7
end subroutine bar
subroutine check3(a)
integer, allocatable, intent(inout) :: a
if(allocated(a)) call abort()
allocate(a)
a = 6874
end subroutine check3
subroutine check4(a)
integer, allocatable, intent(inout) :: a
if(.not.allocated(a)) call abort()
if (a /= 6874) call abort
deallocate(a)
if(allocated(a)) call abort()
allocate(a)
if(.not.allocated(a)) call abort()
a = -478
end subroutine check4
subroutine checkOptional(prsnt, alloc, val, x)
logical, intent(in) :: prsnt, alloc
integer, allocatable, optional :: x
integer, intent(in) :: val
if (present(x) .neqv. prsnt) call abort()
if (present(x)) then
if (allocated(x) .neqv. alloc) call abort()
end if
if (present(x)) then
if (allocated(x)) then
if (x /= val) call abort()
end if
end if
call checkOptional2(x)
if (present(x)) then
if (.not. allocated(x)) call abort()
if (x /= -6784) call abort()
x = 46
end if
call checkOptional2()
end subroutine checkOptional
subroutine checkOptional2(x)
integer, allocatable, optional, intent(out) :: x
if (present(x)) then
if (allocated(x)) call abort()
allocate(x)
x = -6784
end if
end subroutine checkOptional2
end program test
|
