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
|
! { dg-do run }
! Type-bound procedures
! Check calls with passed-objects.
MODULE m
IMPLICIT NONE
TYPE add
INTEGER :: wrong
INTEGER :: val
CONTAINS
PROCEDURE, PASS :: func => func_add
PROCEDURE, PASS(me) :: sub => sub_add
END TYPE add
TYPE trueOrFalse
LOGICAL :: val
CONTAINS
PROCEDURE, PASS :: swap
END TYPE trueOrFalse
CONTAINS
INTEGER FUNCTION func_add (me, x)
IMPLICIT NONE
CLASS(add) :: me
INTEGER :: x
func_add = me%val + x
END FUNCTION func_add
SUBROUTINE sub_add (res, me, x)
IMPLICIT NONE
INTEGER, INTENT(OUT) :: res
CLASS(add), INTENT(IN) :: me
INTEGER, INTENT(IN) :: x
res = me%val + x
END SUBROUTINE sub_add
SUBROUTINE swap (me1, me2)
IMPLICIT NONE
CLASS(trueOrFalse), INTENT(INOUT) :: me1, me2
IF (.NOT. me1%val .OR. me2%val) THEN
CALL abort ()
END IF
me1%val = .FALSE.
me2%val = .TRUE.
END SUBROUTINE swap
! Do the testing here, in the same module as the type is.
SUBROUTINE test ()
IMPLICIT NONE
TYPE(add) :: adder
TYPE(trueOrFalse) :: t, f
INTEGER :: x
adder%wrong = 0
adder%val = 42
IF (adder%func (8) /= 50) THEN
CALL abort ()
END IF
CALL adder%sub (x, 8)
IF (x /= 50) THEN
CALL abort ()
END IF
t%val = .TRUE.
f%val = .FALSE.
CALL t%swap (f)
CALL f%swap (t)
IF (.NOT. t%val .OR. f%val) THEN
CALL abort ()
END IF
END SUBROUTINE test
END MODULE m
PROGRAM main
USE m, ONLY: test
CALL test ()
END PROGRAM main
! { dg-final { cleanup-modules "m" } }
|