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
96
97
98
99
100
101
102
103
104
105
106
107
|
! RUN: %python %S/test_errors.py %s %flang_fc1 -pedantic
! Check for C1801 - C1805
module m
public s
!ERROR: Interoperable array must have at least one element
real, bind(c) :: x(0)
contains
subroutine s
end
end
program main
use m
type, abstract :: v
integer :: i
end type
! ERROR: An interoperable derived type cannot have the SEQUENCE attribute
type, bind(c) :: t1
sequence
integer :: x
end type
! ERROR: An interoperable derived type cannot have a type parameter
type, bind(c) :: t2(k)
integer, KIND :: k
integer :: x
end type
! ERROR: A derived type with the BIND attribute cannot be an extended derived type
type, bind(c), extends(v) :: t3
integer :: x
end type
type, bind(c) :: t4
integer :: x
contains
! ERROR: An interoperable derived type cannot have a type bound procedure
procedure, nopass :: b => s
end type
! WARNING: A derived type with the BIND attribute should not be empty
type, bind(c) :: t5
end type
type, bind(c) :: t6
! ERROR: An interoperable derived type cannot have a pointer or allocatable component
integer, pointer :: x
end type
type, bind(c) :: t7
! ERROR: An interoperable derived type cannot have a pointer or allocatable component
integer, allocatable :: y
end type
type :: t8
integer :: x
end type
type :: t8a
integer, pointer :: x
end type
type, bind(c) :: t9
!WARNING: Derived type of component 'x' of an interoperable derived type should have the BIND attribute
type(t8) :: x
!ERROR: Component 'y' of an interoperable derived type must have an interoperable type but does not
type(t8a) :: y
integer :: z
end type
type, bind(c) :: t10
!WARNING: A CHARACTER component of an interoperable type should have length 1
character(len=2) x
end type
type, bind(c) :: t11
!ERROR: Each component of an interoperable derived type must have an interoperable type
character(kind=2) x
end type
type, bind(c) :: t12
!PORTABILITY: A LOGICAL component of an interoperable type should have the interoperable KIND=C_BOOL
logical(kind=8) x
end type
type, bind(c) :: t13
!ERROR: Each component of an interoperable derived type must have an interoperable type
real(kind=2) x
end type
type, bind(c) :: t14
!ERROR: Each component of an interoperable derived type must have an interoperable type
complex(kind=2) x
end type
type, bind(c) :: t15
!ERROR: An array component of an interoperable type must have at least one element
real :: x(0)
end type
interface
subroutine badAssumedLen(x,y,z) bind(c)
!ERROR: A BIND(C) object must have an interoperable type
character(*), pointer :: x
!ERROR: A BIND(C) object must have an interoperable type
character(*), allocatable :: y
character(*) z ! ok
end
end interface
end
|
