| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
|---|
| 2 | |
|---|
| 3 | @interface A { |
|---|
| 4 | @public |
|---|
| 5 | int ivar; |
|---|
| 6 | } |
|---|
| 7 | @property int prop; |
|---|
| 8 | @end |
|---|
| 9 | |
|---|
| 10 | typedef struct objc_object { |
|---|
| 11 | Class isa; |
|---|
| 12 | } *id; |
|---|
| 13 | |
|---|
| 14 | // Test instantiation of value-dependent ObjCIvarRefExpr, |
|---|
| 15 | // ObjCIsaRefExpr, and ObjCPropertyRefExpr nodes. |
|---|
| 16 | A *get_an_A(unsigned); |
|---|
| 17 | id get_an_id(unsigned); |
|---|
| 18 | |
|---|
| 19 | template<unsigned N, typename T, typename U, typename V> |
|---|
| 20 | void f(U value, V value2) { |
|---|
| 21 | get_an_A(N)->ivar = value; // expected-error{{assigning to 'int' from incompatible type 'int *'}} |
|---|
| 22 | get_an_A(N).prop = value2; // expected-error{{assigning to 'int' from incompatible type '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 | |
|---|
| 27 | template void f<6, Class>(int, int); // expected-note{{in instantiation of}} |
|---|
| 28 | template void f<7, Class>(int*, int); // expected-note{{in instantiation of}} |
|---|
| 29 | template void f<8, Class>(int, double*); // expected-note{{in instantiation of}} |
|---|
| 30 | template void f<9, int>(int, int); // expected-note{{in instantiation of}} |
|---|
| 31 | |
|---|
| 32 | // Test instantiation of unresolved member reference expressions to an |
|---|
| 33 | // ivar reference. |
|---|
| 34 | template<typename T, typename U, typename V> |
|---|
| 35 | void f2(T ptr, U value, V value2) { |
|---|
| 36 | ptr->ivar = value; // expected-error{{assigning to 'int' from incompatible type 'int *'}} |
|---|
| 37 | ptr.prop = value2; // expected-error{{assigning to 'int' from incompatible type 'double *'}} |
|---|
| 38 | } |
|---|
| 39 | |
|---|
| 40 | template void f2(A*, int, int); |
|---|
| 41 | template void f2(A*, int*, int); // expected-note{{instantiation of}} |
|---|
| 42 | template void f2(A*, int, double*); // expected-note{{instantiation of}} |
|---|
| 43 | |
|---|
| 44 | // Test instantiation of unresolved member referfence expressions to |
|---|
| 45 | // an isa. |
|---|
| 46 | template<typename T, typename U> |
|---|
| 47 | void 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 | |
|---|
| 52 | template void f3<Class>(id); // expected-note{{in instantiation of}} |
|---|
| 53 | template void f3<int>(id); // expected-note{{instantiation of}} |
|---|
| 54 | |
|---|
| 55 | // Implicit setter/getter |
|---|
| 56 | @interface B |
|---|
| 57 | - (int)foo; |
|---|
| 58 | - (void)setFoo:(int)value; |
|---|
| 59 | @end |
|---|
| 60 | |
|---|
| 61 | template<typename T> |
|---|
| 62 | void f4(B *b, T value) { |
|---|
| 63 | b.foo = value; // expected-error{{assigning to 'int' from incompatible type 'int *'}} |
|---|
| 64 | } |
|---|
| 65 | |
|---|
| 66 | template void f4(B*, int); |
|---|
| 67 | template void f4(B*, int*); // expected-note{{in instantiation of function template specialization 'f4<int *>' requested here}} |
|---|
| 68 | |
|---|
| 69 | template<typename T, typename U> |
|---|
| 70 | void f5(T ptr, U value) { |
|---|
| 71 | ptr.foo = value; // expected-error{{assigning to 'int' from incompatible type 'int *'}} |
|---|
| 72 | } |
|---|
| 73 | |
|---|
| 74 | template void f5(B*, int); |
|---|
| 75 | template void f5(B*, int*); // expected-note{{in instantiation of function template specialization 'f5<B *, int *>' requested here}} |
|---|
| 76 | |
|---|