blob: 91ea2ec4e0d48a03c5b8a063969cfe04a9f38851 (
plain) (
blame)
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
|
/* RUN: %clang_cc1 -Wall -fsyntax-only -verify -std=c89 -pedantic %s
*/
@class NSArray;
void f(NSArray *a) {
id keys;
for (int i in a); /* expected-error{{selector element type 'int' is not a valid object}} */
for ((id)2 in a); /* expected-error{{selector element is not a valid lvalue}} */
for (2 in a); /* expected-error{{selector element is not a valid lvalue}} */
/* This should be ok, 'thisKey' should be scoped to the loop in question,
* and no diagnostics even in pedantic mode should happen.
* rdar://6814674
*/
for (id thisKey in keys); /* expected-warning {{unused variable 'thisKey'}} */
for (id thisKey in keys); /* expected-warning {{unused variable 'thisKey'}} */
}
/* // rdar://9072298 */
@protocol NSObject @end
@interface NSObject <NSObject> {
Class isa;
}
@end
typedef struct {
unsigned long state;
id *itemsPtr;
unsigned long *mutationsPtr;
unsigned long extra[5];
} NSFastEnumerationState;
@protocol NSFastEnumeration
- (unsigned long)countByEnumeratingWithState:(NSFastEnumerationState *)state objects:(id *)stackbuf count:(unsigned long)len;
@end
int main ()
{
NSObject<NSFastEnumeration>* collection = ((void*)0);
for (id thing in collection) { } /* expected-warning {{unused variable 'thing'}} */
return 0;
}
/* rdar://problem/11068137 */
@interface Test2
@property (assign) id prop;
@end
void test2(NSObject<NSFastEnumeration> *collection) {
Test2 *obj;
for (obj.prop in collection) { /* expected-error {{selector element is not a valid lvalue}} */
}
}
|