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
|
! { dg-do run }
! { dg-options "-std=f2003 -fall-intrinsics" }
! Tests the functionality of the patch for PR29642, which requested the
! implementation of the F2003 VALUE attribute for gfortran.
!
! Contributed by Paul Thomas <pault@gcc.gnu.org>
!
module global
type :: mytype
real(4) :: x
character(4) :: c
end type mytype
contains
subroutine typhoo (dt)
type(mytype), value :: dt
if (dtne (dt, mytype (42.0, "lmno"))) call abort ()
dt = mytype (21.0, "wxyz")
if (dtne (dt, mytype (21.0, "wxyz"))) call abort ()
end subroutine typhoo
logical function dtne (a, b)
type(mytype) :: a, b
dtne = .FALSE.
if ((a%x /= b%x) .or. (a%c /= b%c)) dtne = .TRUE.
end function dtne
end module global
program test_value
use global
integer(8) :: i = 42
real(8) :: r = 42.0
character(2) :: c = "ab"
complex(8) :: z = (-99.0, 199.0)
type(mytype) :: dt = mytype (42.0, "lmno")
call foo (c)
if (c /= "ab") call abort ()
call bar (i)
if (i /= 42) call abort ()
call foobar (r)
if (r /= 42.0) call abort ()
call complex_foo (z)
if (z /= (-99.0, 199.0)) call abort ()
call typhoo (dt)
if (dtne (dt, mytype (42.0, "lmno"))) call abort ()
r = 20.0
call foobar (r*2.0 + 2.0)
contains
subroutine foo (c)
character(2), value :: c
if (c /= "ab") call abort ()
c = "cd"
if (c /= "cd") call abort ()
end subroutine foo
subroutine bar (i)
integer(8), value :: i
if (i /= 42) call abort ()
i = 99
if (i /= 99) call abort ()
end subroutine bar
subroutine foobar (r)
real(8), value :: r
if (r /= 42.0) call abort ()
r = 99.0
if (r /= 99.0) call abort ()
end subroutine foobar
subroutine complex_foo (z)
COMPLEX(8), value :: z
if (z /= (-99.0, 199.0)) call abort ()
z = (77.0, -42.0)
if (z /= (77.0, -42.0)) call abort ()
end subroutine complex_foo
end program test_value
! { dg-final { cleanup-modules "global" } }
|
