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 -emit-llvm-only %s
void p(const char*, ...);
@interface Root
+(int) maxValue;
-(int) conformsTo: (id) x;
@end
@protocol P0;
@protocol P1
+(void) classMethodReq0;
-(void) methodReq0;
@optional
+(void) classMethodOpt1;
-(void) methodOpt1;
@required
+(void) classMethodReq2;
-(void) methodReq2;
@end
@protocol P2
//@property(readwrite) int x;
@end
@protocol P3<P1, P2>
-(id <P1>) print0;
-(void) print1;
@end
void foo(const id a) {
void *p = @protocol(P3);
}
int main() {
Protocol *P0 = @protocol(P0);
Protocol *P1 = @protocol(P1);
Protocol *P2 = @protocol(P2);
Protocol *P3 = @protocol(P3);
#define Pbool(X) p(#X ": %s\n", X ? "yes" : "no");
Pbool([P0 conformsTo: P1]);
Pbool([P1 conformsTo: P0]);
Pbool([P1 conformsTo: P2]);
Pbool([P2 conformsTo: P1]);
Pbool([P3 conformsTo: P1]);
Pbool([P1 conformsTo: P3]);
return 0;
}
// rdar://problem/7992749
typedef Root<P1> P1Object;
int test10() {
return [P1Object maxValue];
}
|
