51 lines · plain
1// RUN: %clang_cc1 -fsyntax-only -Wsuper-class-method-mismatch -verify %s2 3@interface Root4-(void) method_r: (char)ch : (float*)f1 : (int*) x; // expected-note {{previous declaration is here}}5@end6 7@class Sub;8 9@interface Base : Root10-(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@end18 19struct A {20 int x,y,z;21};22 23@interface Sub : Base24-(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@end33 34void 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 arguments37 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-error {{incompatible pointer types}}42 43 Sub *s;44 [base method2:s]; // if base is actually 'Sub' OK. Either way OK.45 46}47 48 49 50 51