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
| // RUN: %clang_cc1 -arcmt-check -verify -triple x86_64-apple-darwin10 -fsyntax-only -fblocks %s
// Classes that have an Objective-C object pointer.
struct HasObjectMember0 {
id x;
};
struct HasObjectMember1 {
id x[3];
};
struct HasObjectMember2 {
id x[3][2];
};
// Don't complain if the type has non-external linkage
namespace {
struct HasObjectMember3 {
id x[3][2];
};
}
// Don't complain if the Objective-C pointer type was explicitly given
// no lifetime.
struct HasObjectMember3 {
__unsafe_unretained id x[3][2];
};
struct HasBlockPointerMember0 {
int (^bp)(int);
};
struct HasBlockPointerMember1 {
int (^bp[2][3])(int);
};
struct NonPOD {
NonPOD(const NonPOD&);
};
struct HasObjectMemberAndNonPOD0 {
id x;
NonPOD np;
};
struct HasObjectMemberAndNonPOD1 {
NonPOD np;
id x[3];
};
struct HasObjectMemberAndNonPOD2 {
NonPOD np;
id x[3][2];
};
struct HasObjectMemberAndNonPOD3 {
HasObjectMemberAndNonPOD3 &operator=(const HasObjectMemberAndNonPOD3&);
~HasObjectMemberAndNonPOD3();
NonPOD np;
id x[3][2];
};
struct HasBlockPointerMemberAndNonPOD0 {
NonPOD np;
int (^bp)(int);
};
struct HasBlockPointerMemberAndNonPOD1 {
NonPOD np;
int (^bp[2][3])(int);
};
int check_non_pod_objc_pointer0[__is_pod(id)? 1 : -1];
int check_non_pod_objc_pointer1[__is_pod(__strong id)? -1 : 1];
int check_non_pod_objc_pointer2[__is_pod(__unsafe_unretained id)? 1 : -1];
int check_non_pod_objc_pointer3[__is_pod(id[2][3])? 1 : -1];
int check_non_pod_objc_pointer4[__is_pod(__unsafe_unretained id[2][3])? 1 : -1];
int check_non_pod_block0[__is_pod(int (^)(int))? 1 : -1];
int check_non_pod_block1[__is_pod(int (^ __unsafe_unretained)(int))? 1 : -1];
struct FlexibleArrayMember0 {
int length;
id array[]; // expected-error{{flexible array member 'array' of type 'id __strong[]' with non-trivial destruction}}
};
struct FlexibleArrayMember1 {
int length;
__unsafe_unretained id array[];
};
// It's okay to pass a retainable type through an ellipsis.
void variadic(...);
void test_variadic() {
variadic(1, 17, @"Foo");
}
// It's okay to create a VLA of retainable types.
void vla(int n) {
id vla[n];
}
|