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
