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
|
// RUN: %clang_cc1 -fsyntax-only -pedantic -verify %s
#define nil (void *)0;
extern void foo();
@protocol MyProtocol
- (void) method;
@end
@interface MyClass
@end
@interface MyClass (Addition) <MyProtocol>
- (void) method;
@end
@interface MyOtherClass : MyClass
@end
int main()
{
id <MyProtocol> obj_id_p = nil;
MyClass *obj_c_cat_p = nil;
MyOtherClass *obj_c_super_p = nil;
MyOtherClass<MyProtocol> *obj_c_super_p_q = nil;
MyClass<MyProtocol> *obj_c_cat_p_q = nil;
obj_c_cat_p = obj_id_p;
obj_c_super_p = obj_id_p;
obj_id_p = obj_c_cat_p; /* Ok */
obj_id_p = obj_c_super_p; /* Ok */
if (obj_c_cat_p == obj_id_p) foo(); /* Ok */
if (obj_c_super_p == obj_id_p) foo() ; /* Ok */
if (obj_id_p == obj_c_cat_p) foo(); /* Ok */
if (obj_id_p == obj_c_super_p) foo(); /* Ok */
obj_c_cat_p = obj_c_super_p; // ok.
obj_c_cat_p = obj_c_super_p_q; // ok.
obj_c_super_p = obj_c_cat_p_q; // expected-warning {{incompatible pointer types}}
obj_c_cat_p_q = obj_c_super_p;
return 0;
}
|
