| 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 | } |
|---|
| 91 | |
|---|