| 1 | // RUN: %clang_cc1 -fsyntax-only -Wsuper-class-method-mismatch -verify %s |
|---|
| 2 | |
|---|
| 3 | @interface Root |
|---|
| 4 | -(void) method_r: (char)ch : (float*)f1 : (int*) x; // expected-note {{previous declaration is here}} |
|---|
| 5 | @end |
|---|
| 6 | |
|---|
| 7 | @class Sub; |
|---|
| 8 | |
|---|
| 9 | @interface Base : Root |
|---|
| 10 | -(void) method: (int*) x; // expected-note {{previous declaration is here}} |
|---|
| 11 | -(void) method1: (Base*) x; // expected-note {{previous declaration is here}} |
|---|
| 12 | -(void) method2: (Sub*) x; // expected-note{{passing argument to parameter 'x' here}} |
|---|
| 13 | + method3: (int)x1 : (Base *)x2 : (float)x3; // expected-note {{previous declaration is here}} |
|---|
| 14 | + mathod4: (id)x1; |
|---|
| 15 | - method5: (int) x : (double) d; // expected-note {{previous declaration is here}} |
|---|
| 16 | - method6: (int) x : (float) d; // expected-note {{previous declaration is here}} |
|---|
| 17 | @end |
|---|
| 18 | |
|---|
| 19 | struct A { |
|---|
| 20 | int x,y,z; |
|---|
| 21 | }; |
|---|
| 22 | |
|---|
| 23 | @interface Sub : Base |
|---|
| 24 | -(void) method: (struct A*) a; // expected-warning {{method parameter type 'struct A *' does not match super class method parameter type 'int *'}} |
|---|
| 25 | -(void) method1: (Sub*) x; // expected-warning {{method parameter type 'Sub *' does not match super class method parameter type 'Base *'}} |
|---|
| 26 | -(void) method2: (Base*) x; // no need to warn. At call point we warn if need be. |
|---|
| 27 | + method3: (int)x1 : (Sub *)x2 : (float)x3; // expected-warning {{method parameter type 'Sub *' does not match super class method parameter type 'Base *'}} |
|---|
| 28 | + mathod4: (Base*)x1; |
|---|
| 29 | -(void) method_r: (char)ch : (float*)f1 : (Sub*) x; // expected-warning {{method parameter type 'Sub *' does not match super class method parameter type 'int *'}} |
|---|
| 30 | - method5: (int) x : (float) d; // expected-warning {{method parameter type 'float' does not match super class method parameter type 'double'}} |
|---|
| 31 | - method6: (int) x : (double) d; // expected-warning {{method parameter type 'double' does not match super class method parameter type 'float'}} |
|---|
| 32 | @end |
|---|
| 33 | |
|---|
| 34 | void f(Base *base, Sub *sub) { |
|---|
| 35 | int x; |
|---|
| 36 | [base method:&x]; // warn. if base is actually 'Sub' it will use -[Sub method] with wrong arguments |
|---|
| 37 | |
|---|
| 38 | Base *b; |
|---|
| 39 | [base method1:b]; // if base is actuall 'Sub' it will use [Sub method1] with wrong argument. |
|---|
| 40 | |
|---|
| 41 | [base method2:b]; // expected-warning {{}} |
|---|
| 42 | |
|---|
| 43 | Sub *s; |
|---|
| 44 | [base method2:s]; // if base is actually 'Sub' OK. Either way OK. |
|---|
| 45 | |
|---|
| 46 | } |
|---|
| 47 | |
|---|
| 48 | |
|---|
| 49 | |
|---|
| 50 | |
|---|
| 51 | |
|---|