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