|
150
|
1 // RUN: %clang_cc1 -fsyntax-only -verify %s
|
|
|
2 // expected-no-diagnostics
|
|
|
3 @protocol P1
|
|
|
4 @end
|
|
|
5
|
|
|
6 @interface A <P1>
|
|
|
7 @end
|
|
|
8
|
|
|
9 @interface B : A
|
|
|
10 @end
|
|
|
11
|
|
|
12 @interface C : B
|
|
|
13 @end
|
|
|
14
|
|
|
15 template<typename T>
|
|
|
16 struct ConvertsTo {
|
|
|
17 operator T() const;
|
|
|
18 };
|
|
|
19
|
|
|
20
|
|
|
21 // conversion of C* to B* is better than conversion of C* to A*.
|
|
|
22 int &f0(A*);
|
|
|
23 float &f0(B*);
|
|
|
24
|
|
|
25 void test_f0(C *c) {
|
|
|
26 float &fr1 = f0(c);
|
|
|
27 }
|
|
|
28
|
|
|
29 // conversion of B* to A* is better than conversion of C* to A*
|
|
|
30 void f1(A*);
|
|
|
31
|
|
|
32 struct ConvertsToBoth {
|
|
|
33 private:
|
|
|
34 operator C*() const;
|
|
|
35
|
|
|
36 public:
|
|
|
37 operator B*() const;
|
|
|
38 };
|
|
|
39
|
|
|
40 void test_f1(ConvertsTo<B*> toB, ConvertsTo<C*> toC, ConvertsToBoth toBoth) {
|
|
|
41 f1(toB);
|
|
|
42 f1(toC);
|
|
|
43 f1(toBoth);
|
|
|
44 };
|
|
|
45
|
|
|
46 // A conversion to an a non-id object pointer type is better than a
|
|
|
47 // conversion to 'id'.
|
|
|
48 int &f2(A*);
|
|
|
49 float &f2(id);
|
|
|
50
|
|
|
51 void test_f2(B *b) {
|
|
|
52 int &ir = f2(b);
|
|
|
53 }
|
|
|
54
|
|
|
55 // A conversion to an a non-Class object pointer type is better than a
|
|
|
56 // conversion to 'Class'.
|
|
|
57 int &f3(A*);
|
|
|
58 float &f3(Class);
|
|
|
59
|
|
|
60 void test_f3(B *b) {
|
|
|
61 int &ir = f3(b);
|
|
|
62 }
|
|
|
63
|
|
|
64 // When both conversions convert to 'id' or 'Class', pick the most
|
|
|
65 // specific type to convert from.
|
|
|
66 void f4(id);
|
|
|
67
|
|
|
68 void test_f4(ConvertsTo<B*> toB, ConvertsTo<C*> toC, ConvertsToBoth toBoth) {
|
|
|
69 f4(toB);
|
|
|
70 f4(toC);
|
|
|
71 f4(toBoth);
|
|
|
72 }
|
|
|
73
|
|
|
74 void f5(id<P1>);
|
|
|
75
|
|
|
76 void test_f5(ConvertsTo<B*> toB, ConvertsTo<C*> toC, ConvertsToBoth toBoth) {
|
|
|
77 f5(toB);
|
|
|
78 f5(toC);
|
|
|
79 f5(toBoth);
|
|
|
80 }
|
|
|
81
|
|
|
82
|
|
|
83 // A conversion to an a non-id object pointer type is better than a
|
|
|
84 // conversion to qualified 'id'.
|
|
|
85 int &f6(A*);
|
|
|
86 float &f6(id<P1>);
|
|
|
87
|
|
|
88 void test_f6(B *b) {
|
|
|
89 int &ir = f6(b);
|
|
|
90 }
|
