| 1 | // RUN: %clang_cc1 -fsyntax-only -verify -Wno-objc-root-class %s |
|---|
| 2 | // expected-no-diagnostics |
|---|
| 3 | |
|---|
| 4 | // This test case tests the default behavior. |
|---|
| 5 | |
|---|
| 6 | // rdar://7933061 |
|---|
| 7 | |
|---|
| 8 | @interface NSObject @end |
|---|
| 9 | |
|---|
| 10 | @interface NSArray : NSObject @end |
|---|
| 11 | |
|---|
| 12 | @interface MyClass : NSObject { |
|---|
| 13 | } |
|---|
| 14 | - (void)myMethod:(NSArray *)object; |
|---|
| 15 | - (void)myMethod1:(NSObject *)object; // broken-note {{previous definition is here}} |
|---|
| 16 | @end |
|---|
| 17 | |
|---|
| 18 | @implementation MyClass |
|---|
| 19 | - (void)myMethod:(NSObject *)object { |
|---|
| 20 | } |
|---|
| 21 | - (void)myMethod1:(NSArray *)object { // broken-warning {{conflicting parameter types in implementation of 'myMethod1:': 'NSObject *' vs 'NSArray *'}} |
|---|
| 22 | } |
|---|
| 23 | @end |
|---|
| 24 | |
|---|
| 25 | |
|---|
| 26 | @protocol MyProtocol @end |
|---|
| 27 | |
|---|
| 28 | @interface MyOtherClass : NSObject <MyProtocol> { |
|---|
| 29 | } |
|---|
| 30 | - (void)myMethod:(id <MyProtocol>)object; // broken-note {{previous definition is here}} |
|---|
| 31 | - (void)myMethod1:(id <MyProtocol>)object; // broken-note {{previous definition is here}} |
|---|
| 32 | @end |
|---|
| 33 | |
|---|
| 34 | @implementation MyOtherClass |
|---|
| 35 | - (void)myMethod:(MyClass *)object { // broken-warning {{conflicting parameter types in implementation of 'myMethod:': 'id<MyProtocol>' vs 'MyClass *'}} |
|---|
| 36 | } |
|---|
| 37 | - (void)myMethod1:(MyClass<MyProtocol> *)object { // broken-warning {{conflicting parameter types in implementation of 'myMethod1:': 'id<MyProtocol>' vs 'MyClass<MyProtocol> *'}} |
|---|
| 38 | } |
|---|
| 39 | @end |
|---|
| 40 | |
|---|
| 41 | |
|---|
| 42 | |
|---|
| 43 | @interface A @end |
|---|
| 44 | @interface B : A @end |
|---|
| 45 | |
|---|
| 46 | @interface Test1 {} |
|---|
| 47 | - (void) test1:(A*) object; // broken-note {{previous definition is here}} |
|---|
| 48 | - (void) test2:(B*) object; |
|---|
| 49 | @end |
|---|
| 50 | |
|---|
| 51 | @implementation Test1 |
|---|
| 52 | - (void) test1:(B*) object {} // broken-warning {{conflicting parameter types in implementation of 'test1:': 'A *' vs 'B *'}} |
|---|
| 53 | - (void) test2:(A*) object {} |
|---|
| 54 | @end |
|---|
| 55 | |
|---|
| 56 | // rdar://problem/8597621 wants id -> A* to be an exception |
|---|
| 57 | @interface Test2 {} |
|---|
| 58 | - (void) test1:(id) object; // broken-note {{previous definition is here}} |
|---|
| 59 | - (void) test2:(A*) object; |
|---|
| 60 | @end |
|---|
| 61 | @implementation Test2 |
|---|
| 62 | - (void) test1:(A*) object {} // broken-warning {{conflicting parameter types in implementation of 'test1:': 'id' vs 'A *'}} |
|---|
| 63 | - (void) test2:(id) object {} |
|---|
| 64 | @end |
|---|
| 65 | |
|---|
| 66 | @interface Test3 {} |
|---|
| 67 | - (A*) test1; |
|---|
| 68 | - (B*) test2; // broken-note {{previous definition is here}} |
|---|
| 69 | @end |
|---|
| 70 | |
|---|
| 71 | @implementation Test3 |
|---|
| 72 | - (B*) test1 { return 0; } |
|---|
| 73 | - (A*) test2 { return 0; } // broken-warning {{conflicting return type in implementation of 'test2': 'B *' vs 'A *'}} |
|---|
| 74 | @end |
|---|
| 75 | |
|---|
| 76 | // The particular case of overriding with an id return is white-listed. |
|---|
| 77 | @interface Test4 {} |
|---|
| 78 | - (id) test1; |
|---|
| 79 | - (A*) test2; |
|---|
| 80 | @end |
|---|
| 81 | @implementation Test4 |
|---|
| 82 | - (A*) test1 { return 0; } // id -> A* is rdar://problem/8596987 |
|---|
| 83 | - (id) test2 { return 0; } |
|---|
| 84 | @end |
|---|
| 85 | |
|---|