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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
// RUN: %clang_cc1 -fblocks -triple x86_64-apple-darwin11 -fsyntax-only -std=c++11 -verify %s
@class NSArray;
@interface NSMutableDictionary
- (id)objectForKeyedSubscript:(id)key;
- (void)setObject:(id)object forKeyedSubscript:(id)key; // expected-note {{passing argument to parameter 'object' here}}
@end
template<typename T, typename U, typename O>
void test_dictionary_subscripts(T base, U key, O obj) {
base[key] = obj; // expected-error {{expected method to write array element not found on object of type 'NSMutableDictionary *'}} \
// expected-error {{cannot initialize a parameter of type 'id' with an lvalue of type 'int'}}
obj = base[key]; // expected-error {{expected method to read array element not found on object of type 'NSMutableDictionary *'}} \
// expected-error {{incompatible pointer to integer conversion assigning to 'int' from 'id'}}
}
template void test_dictionary_subscripts(NSMutableDictionary*, id, NSArray *ns);
template void test_dictionary_subscripts(NSMutableDictionary*, NSArray *ns, id);
template void test_dictionary_subscripts(NSMutableDictionary*, int, id); // expected-note {{in instantiation of function template specialization 'test_dictionary_subscripts<NSMutableDictionary *, int, id>' requested here}}
template void test_dictionary_subscripts(NSMutableDictionary*, id, int); // expected-note {{in instantiation of function template specialization 'test_dictionary_subscripts<NSMutableDictionary *, id, int>' requested here}}
@interface NSMutableArray
- (id)objectAtIndexedSubscript:(int)index;
- (void)setObject:(id)object atIndexedSubscript:(int)index;
@end
template<typename T, typename U, typename O>
void test_array_subscripts(T base, U index, O obj) {
base[index] = obj; // expected-error {{indexing expression is invalid because subscript type 'double' is not an integral or Objective-C pointer type}}
obj = base[index]; // expected-error {{indexing expression is invalid because subscript type 'double' is not an integral or Objective-C pointer type}}
}
template void test_array_subscripts(NSMutableArray *, int, id);
template void test_array_subscripts(NSMutableArray *, short, id);
enum E { e };
template void test_array_subscripts(NSMutableArray *, E, id);
template void test_array_subscripts(NSMutableArray *, double, id); // expected-note {{in instantiation of function template specialization 'test_array_subscripts<NSMutableArray *, double, id>' requested here}}
template<typename T>
struct ConvertibleTo {
operator T();
};
template<typename T>
struct ExplicitlyConvertibleTo {
explicit operator T();
};
template<typename T> ConvertibleTo<T> makeConvertible();
struct X {
ConvertibleTo<id> x;
ConvertibleTo<id> get();
};
NSMutableArray *test_array_convertibility(ConvertibleTo<NSMutableArray*> toArray,
ConvertibleTo<id> toId,
ConvertibleTo<int (^)(int)> toBlock,
ConvertibleTo<int> toInt,
ExplicitlyConvertibleTo<NSMutableArray *> toArrayExplicit) {
id array;
array[1] = toArray;
array[4] = array[1];
toArrayExplicit[2] = toId; // expected-error {{type 'ExplicitlyConvertibleTo<NSMutableArray *>' does not provide a subscript operator}}
return array[toInt];
}
id test_dict_convertibility(ConvertibleTo<NSMutableDictionary*> toDict,
ConvertibleTo<id> toId,
ConvertibleTo<int (^)(int)> toBlock,
ConvertibleTo<int> toInt,
ExplicitlyConvertibleTo<NSMutableDictionary *> toDictExplicit) {
NSMutableDictionary *Dict;
id Id;
Dict[toId] = toBlock;
Dict[toBlock] = toBlock;
Dict[toBlock] = Dict[toId] = Dict[toBlock];
Id = toDictExplicit[toId] = Id; // expected-error {{no viable overloaded operator[] for type 'ExplicitlyConvertibleTo<NSMutableDictionary *>'}}
return Dict[toBlock];
}
template<typename ...Args>
void test_bad_variadic_array_subscripting(Args ...args) {
id arr1;
arr1[3] = args; // expected-error {{expression contains unexpanded parameter pack 'args'}}
}
template<typename ...Args>
void test_variadic_array_subscripting(Args ...args) {
id arr[] = {args[3]...}; // which means: {a[3], b[3], c[3]};
}
template void test_variadic_array_subscripting(id arg1, NSMutableArray* arg2, id arg3);
@class Key;
template<typename Index, typename ...Args>
void test_variadic_dictionary_subscripting(Index I, Args ...args) {
id arr[] = {args[I]...}; // which means: {a[3], b[3], c[3]};
}
template void test_variadic_dictionary_subscripting(Key *key, id arg1, NSMutableDictionary* arg2, id arg3);
template<int N>
id get(NSMutableArray *array) {
return array[N]; // array[N] should be a value- and instantiation-dependent ObjCSubscriptRefExpr
}
struct WeirdIndex {
operator int(); // expected-note {{type conversion function declared here}}
operator id(); // expected-note {{type conversion function declared here}}
};
id FUNC(WeirdIndex w) {
NSMutableArray *array;
return array[w]; // expected-error {{indexing expression is invalid because subscript type 'WeirdIndex' has multiple type conversion functions}}
}
|
