Fariborz Jahanian | dd69aae | 2009-12-16 18:03:30 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -verify -emit-llvm -o - %s |
Daniel Dunbar | fcf3de3 | 2009-06-05 06:03:19 +0000 | [diff] [blame] | 2 | |
| 3 | // Test reference binding. |
| 4 | |
| 5 | typedef struct { |
| 6 | int f0; |
| 7 | int f1; |
| 8 | } T; |
| 9 | |
| 10 | @interface A |
| 11 | @property (assign) T p0; |
Fariborz Jahanian | dd69aae | 2009-12-16 18:03:30 +0000 | [diff] [blame] | 12 | @property (assign) T& p1; // expected-error {{property of reference type is not supported}} |
Daniel Dunbar | fcf3de3 | 2009-06-05 06:03:19 +0000 | [diff] [blame] | 13 | @end |
| 14 | |
| 15 | int f0(const T& t) { |
| 16 | return t.f0; |
| 17 | } |
| 18 | |
| 19 | int f1(A *a) { |
| 20 | return f0(a.p0); |
| 21 | } |
| 22 | |
| 23 | int f2(A *a) { |
Fariborz Jahanian | dd69aae | 2009-12-16 18:03:30 +0000 | [diff] [blame] | 24 | return f0(a.p1); // expected-error {{property 'p1' not found on object of type 'A *'}} |
Daniel Dunbar | fcf3de3 | 2009-06-05 06:03:19 +0000 | [diff] [blame] | 25 | } |
| 26 | |
Douglas Gregor | 8f70ddb | 2010-07-29 16:05:45 +0000 | [diff] [blame] | 27 | // PR7740 |
| 28 | @class NSString; |
| 29 | |
| 30 | void f3(id); |
| 31 | void f4(NSString &tmpstr) { |
| 32 | f3(&tmpstr); |
| 33 | } |
Douglas Gregor | 569c316 | 2010-08-07 11:51:51 +0000 | [diff] [blame^] | 34 | |
| 35 | // PR7741 |
| 36 | @protocol P1 @end |
| 37 | @protocol P2 @end |
| 38 | @protocol P3 @end |
| 39 | @interface foo<P1> {} @end |
| 40 | @interface bar : foo <P1, P2> {} @end |
| 41 | typedef bar baz; |
| 42 | void f5(foo&); |
| 43 | void f5b(foo<P1>&); |
| 44 | void f5c(foo<P2>&); |
| 45 | void f5d(foo<P3>&); |
| 46 | void f6(baz* x) { |
| 47 | f5(*x); |
| 48 | f5b(*x); |
| 49 | f5c(*x); |
| 50 | f5d(*x); |
| 51 | (void)((foo&)*x); |
| 52 | } |