76 lines · plain
1// RUN: %clang_cc1 -fsyntax-only -verify %s2 3@interface A {4@public5 int ivar;6}7@property int prop;8@end9 10typedef struct objc_object {11 Class isa;12} *id;13 14// Test instantiation of value-dependent ObjCIvarRefExpr,15// ObjCIsaRefExpr, and ObjCPropertyRefExpr nodes.16A *get_an_A(unsigned);17id get_an_id(unsigned);18 19template<unsigned N, typename T, typename U, typename V>20void f(U value, V value2) {21 get_an_A(N)->ivar = value; // expected-error{{incompatible pointer to integer conversion assigning to 'int' from 'int *'; dereference with *}}22 get_an_A(N).prop = value2; // expected-error{{incompatible pointer to integer conversion assigning to 'int' from 'double *'}}23 T c = get_an_id(N)->isa; // expected-error{{cannot initialize a variable of type 'int' with an lvalue of type 'Class'}} \24 // expected-warning 3 {{direct access to Objective-C's isa is deprecated in favor of object_getClass()}}25}26 27template void f<6, Class>(int, int); // expected-note{{in instantiation of}}28template void f<7, Class>(int*, int); // expected-note{{in instantiation of}}29template void f<8, Class>(int, double*); // expected-note{{in instantiation of}}30template void f<9, int>(int, int); // expected-note{{in instantiation of}}31 32// Test instantiation of unresolved member reference expressions to an33// ivar reference.34template<typename T, typename U, typename V>35void f2(T ptr, U value, V value2) {36 ptr->ivar = value; // expected-error{{incompatible pointer to integer conversion assigning to 'int' from 'int *'; dereference with *}}37 ptr.prop = value2; // expected-error{{incompatible pointer to integer conversion assigning to 'int' from 'double *'}}38}39 40template void f2(A*, int, int);41template void f2(A*, int*, int); // expected-note{{instantiation of}}42template void f2(A*, int, double*); // expected-note{{instantiation of}}43 44// Test instantiation of unresolved member referfence expressions to45// an isa.46template<typename T, typename U>47void f3(U ptr) {48 T c = ptr->isa; // expected-error{{cannot initialize a variable of type 'int' with an lvalue of type 'Class'}} \49 // expected-warning 1 {{direct access to Objective-C's isa is deprecated in favor of object_getClass()}}50}51 52template void f3<Class>(id); // expected-note{{in instantiation of}}53template void f3<int>(id); // expected-note{{instantiation of}}54 55// Implicit setter/getter56@interface B57- (int)foo;58- (void)setFoo:(int)value;59@end60 61template<typename T>62void f4(B *b, T value) {63 b.foo = value; // expected-error{{incompatible pointer to integer conversion assigning to 'int' from 'int *'; dereference with *}}64}65 66template void f4(B*, int);67template void f4(B*, int*); // expected-note{{in instantiation of function template specialization 'f4<int *>' requested here}}68 69template<typename T, typename U>70void f5(T ptr, U value) {71 ptr.foo = value; // expected-error{{incompatible pointer to integer conversion assigning to 'int' from 'int *'; dereference with *}}72}73 74template void f5(B*, int);75template void f5(B*, int*); // expected-note{{in instantiation of function template specialization 'f5<B *, int *>' requested here}}76