| Douglas Gregor | 55ad91f | 2008-12-18 19:37:40 +0000 | [diff] [blame] | 1 | // RUN: clang -fsyntax-only -verify %s | 
| Douglas Gregor | 1e57a3f | 2008-12-18 23:43:31 +0000 | [diff] [blame] | 2 | @interface Foo | 
|  | 3 | @end | 
|  | 4 |  | 
|  | 5 | @implementation Foo | 
|  | 6 |  | 
|  | 7 | void func(id); | 
|  | 8 |  | 
|  | 9 | + zone { | 
|  | 10 | func(self); | 
|  | 11 | return self; | 
|  | 12 | } | 
|  | 13 |  | 
| Douglas Gregor | a29dc05 | 2008-11-27 01:19:21 +0000 | [diff] [blame] | 14 | @protocol P0 | 
|  | 15 | @end | 
|  | 16 |  | 
|  | 17 | @protocol P1 | 
|  | 18 | @end | 
|  | 19 |  | 
|  | 20 | @interface A <P0> | 
| Douglas Gregor | 237f96c | 2008-11-26 23:31:11 +0000 | [diff] [blame] | 21 | @end | 
|  | 22 |  | 
|  | 23 | @interface B : A | 
|  | 24 | @end | 
|  | 25 |  | 
| Douglas Gregor | a29dc05 | 2008-11-27 01:19:21 +0000 | [diff] [blame] | 26 | @interface C <P1> | 
|  | 27 | @end | 
|  | 28 |  | 
| Douglas Gregor | 237f96c | 2008-11-26 23:31:11 +0000 | [diff] [blame] | 29 | int& f(A*); | 
|  | 30 | float& f(B*); | 
|  | 31 | void g(A*); | 
|  | 32 |  | 
|  | 33 | int& h(A*); | 
|  | 34 | float& h(id); | 
|  | 35 |  | 
|  | 36 | void test(A* a, B* b, id val) { | 
|  | 37 | int& i1 = f(a); | 
|  | 38 | float& f1 = f(b); | 
|  | 39 | float& f2 = f(val); | 
|  | 40 | g(a); | 
|  | 41 | g(b); | 
|  | 42 | g(val); | 
|  | 43 | int& i2 = h(a); | 
|  | 44 | float& f3 = h(val); | 
|  | 45 | //  int& i3 = h(b); FIXME: we match GCC here, but shouldn't this work? | 
|  | 46 | } | 
|  | 47 |  | 
|  | 48 | int& cv(A*); | 
|  | 49 | float& cv(const A*); | 
|  | 50 | int& cv2(void*); | 
|  | 51 | float& cv2(const void*); | 
|  | 52 |  | 
|  | 53 | void cv_test(A* a, B* b, const A* ac, const B* bc) { | 
|  | 54 | int &i1 = cv(a); | 
|  | 55 | int &i2 = cv(b); | 
|  | 56 | float &f1 = cv(ac); | 
|  | 57 | float &f2 = cv(bc); | 
|  | 58 | int& i3 = cv2(a); | 
|  | 59 | float& f3 = cv2(ac); | 
|  | 60 | } | 
| Douglas Gregor | a29dc05 | 2008-11-27 01:19:21 +0000 | [diff] [blame] | 61 |  | 
|  | 62 |  | 
|  | 63 | int& qualid(id<P0>); | 
|  | 64 | float& qualid(id<P1>); // FIXME: GCC complains that this isn't an overload. Is it? | 
|  | 65 |  | 
|  | 66 | void qualid_test(A *a, B *b, C *c) { | 
|  | 67 | int& i1 = qualid(a); | 
|  | 68 | int& i2 = qualid(b); | 
|  | 69 | float& f1 = qualid(c); | 
|  | 70 | } |