blob: 8ab22e1ca73ec4efe7ccf603d911c50ddc0c0f70 [file] [log] [blame]
// RUN: clang-cc -fsyntax-only -verify %s
@interface Foo
@end
@implementation Foo
void func(id);
+ zone {
func(self);
return self;
}
@end
@protocol P0
@end
@protocol P1
@end
@interface A <P0>
@end
@interface B : A
@end
@interface C <P1>
@end
int& f(A*);
float& f(B*);
void g(A*);
int& h(A*);
float& h(id);
void test(A* a, B* b, id val) {
int& i1 = f(a);
float& f1 = f(b);
float& f2 = f(val);
g(a);
g(b);
g(val);
int& i2 = h(a);
float& f3 = h(val);
// int& i3 = h(b); FIXME: we match GCC here, but shouldn't this work?
}
void downcast_test(A* a, A** ap) {
B* b = a; // expected-warning{{incompatible pointer types initializing 'B *', expected 'A *'}}
b = a; // expected-warning{{incompatible pointer types assigning 'B *', expected 'A *'}}
B** bp = ap; // expected-warning{{incompatible pointer types initializing 'B **', expected 'A **'}}
bp = ap; // expected-warning{{incompatible pointer types assigning 'B **', expected 'A **'}}
}
int& cv(A*);
float& cv(const A*);
int& cv2(void*);
float& cv2(const void*);
void cv_test(A* a, B* b, const A* ac, const B* bc) {
int &i1 = cv(a);
int &i2 = cv(b);
float &f1 = cv(ac);
float &f2 = cv(bc);
int& i3 = cv2(a);
float& f3 = cv2(ac);
}
int& qualid(id<P0>);
float& qualid(id<P1>); // FIXME: GCC complains that this isn't an overload. Is it?
void qualid_test(A *a, B *b, C *c) {
int& i1 = qualid(a);
int& i2 = qualid(b);
float& f1 = qualid(c);
id<P0> p1 = 0;
p1 = 0;
}
@class NSException;
typedef struct {
void (*throw_exc)(id);
}
objc_exception_functions_t;
void (*_NSExceptionRaiser(void))(NSException *) {
objc_exception_functions_t exc_funcs;
return exc_funcs.throw_exc; // expected-warning{{incompatible pointer types returning 'void (*)(NSException *)', expected 'void (*)(id)'}}
}