| Patrick Beard | acfbe9e | 2012-04-06 18:12:22 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify -Wno-objc-root-class %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 | } |
| Douglas Gregor | 6ab9978 | 2008-12-19 19:16:37 +0000 | [diff] [blame] | 13 | @end |
| Douglas Gregor | 1e57a3f | 2008-12-18 23:43:31 +0000 | [diff] [blame] | 14 | |
| Douglas Gregor | a29dc05 | 2008-11-27 01:19:21 +0000 | [diff] [blame] | 15 | @protocol P0 |
| 16 | @end |
| 17 | |
| 18 | @protocol P1 |
| 19 | @end |
| 20 | |
| 21 | @interface A <P0> |
| Douglas Gregor | 237f96c | 2008-11-26 23:31:11 +0000 | [diff] [blame] | 22 | @end |
| 23 | |
| 24 | @interface B : A |
| 25 | @end |
| 26 | |
| Douglas Gregor | a29dc05 | 2008-11-27 01:19:21 +0000 | [diff] [blame] | 27 | @interface C <P1> |
| 28 | @end |
| 29 | |
| John McCall | f28e83a | 2010-10-26 06:23:29 +0000 | [diff] [blame] | 30 | int& f(A*); // expected-note {{candidate}} |
| 31 | float& f(B*); // expected-note {{candidate}} |
| Douglas Gregor | 237f96c | 2008-11-26 23:31:11 +0000 | [diff] [blame] | 32 | void g(A*); |
| 33 | |
| Douglas Gregor | 058d3de | 2011-01-31 18:51:41 +0000 | [diff] [blame] | 34 | int& h(A*); |
| 35 | float& h(id); |
| Douglas Gregor | 237f96c | 2008-11-26 23:31:11 +0000 | [diff] [blame] | 36 | |
| John McCall | f28e83a | 2010-10-26 06:23:29 +0000 | [diff] [blame] | 37 | void test0(A* a, B* b, id val) { |
| Douglas Gregor | 237f96c | 2008-11-26 23:31:11 +0000 | [diff] [blame] | 38 | int& i1 = f(a); |
| 39 | float& f1 = f(b); |
| John McCall | f28e83a | 2010-10-26 06:23:29 +0000 | [diff] [blame] | 40 | |
| 41 | // GCC succeeds here, which is clearly ridiculous. |
| 42 | float& f2 = f(val); // expected-error {{ambiguous}} |
| 43 | |
| Douglas Gregor | 237f96c | 2008-11-26 23:31:11 +0000 | [diff] [blame] | 44 | g(a); |
| 45 | g(b); |
| 46 | g(val); |
| 47 | int& i2 = h(a); |
| 48 | float& f3 = h(val); |
| Douglas Gregor | 8d6d067 | 2010-12-01 21:43:58 +0000 | [diff] [blame] | 49 | |
| Douglas Gregor | 058d3de | 2011-01-31 18:51:41 +0000 | [diff] [blame] | 50 | int& i3 = h(b); |
| Douglas Gregor | 237f96c | 2008-11-26 23:31:11 +0000 | [diff] [blame] | 51 | } |
| 52 | |
| John McCall | f28e83a | 2010-10-26 06:23:29 +0000 | [diff] [blame] | 53 | void test1(A* a) { |
| Fariborz Jahanian | 413e064 | 2011-03-21 19:08:42 +0000 | [diff] [blame] | 54 | B* b = a; // expected-warning{{incompatible pointer types initializing 'B *' with an expression of type 'A *'}} |
| Douglas Gregor | 2720dc6 | 2011-06-11 04:42:12 +0000 | [diff] [blame] | 55 | B *c; c = a; // expected-warning{{incompatible pointer types assigning to 'B *' from 'A *'}} |
| Douglas Gregor | 47d3f27 | 2008-12-19 17:40:08 +0000 | [diff] [blame] | 56 | } |
| 57 | |
| John McCall | f28e83a | 2010-10-26 06:23:29 +0000 | [diff] [blame] | 58 | void test2(A** ap) { |
| Fariborz Jahanian | 413e064 | 2011-03-21 19:08:42 +0000 | [diff] [blame] | 59 | B** bp = ap; // expected-warning{{incompatible pointer types initializing 'B **' with an expression of type 'A **'}} |
| Douglas Gregor | 2720dc6 | 2011-06-11 04:42:12 +0000 | [diff] [blame] | 60 | bp = ap; // expected-warning{{incompatible pointer types assigning to 'B **' from 'A **'}} |
| John McCall | f28e83a | 2010-10-26 06:23:29 +0000 | [diff] [blame] | 61 | } |
| 62 | |
| Eli Friedman | 5f50895 | 2013-06-18 22:41:37 +0000 | [diff] [blame] | 63 | int& cv(A*); |
| 64 | float& cv(const A*); |
| John McCall | f28e83a | 2010-10-26 06:23:29 +0000 | [diff] [blame] | 65 | |
| Douglas Gregor | 8d6d067 | 2010-12-01 21:43:58 +0000 | [diff] [blame] | 66 | int& cv2(void*); |
| 67 | float& cv2(const void*); |
| Douglas Gregor | 237f96c | 2008-11-26 23:31:11 +0000 | [diff] [blame] | 68 | |
| 69 | void cv_test(A* a, B* b, const A* ac, const B* bc) { |
| 70 | int &i1 = cv(a); |
| 71 | int &i2 = cv(b); |
| Eli Friedman | 5f50895 | 2013-06-18 22:41:37 +0000 | [diff] [blame] | 72 | float &f1 = cv(ac); |
| 73 | float &f2 = cv(bc); |
| Douglas Gregor | 8d6d067 | 2010-12-01 21:43:58 +0000 | [diff] [blame] | 74 | int& i3 = cv2(a); |
| 75 | float& f3 = cv2(ac); |
| Douglas Gregor | 237f96c | 2008-11-26 23:31:11 +0000 | [diff] [blame] | 76 | } |
| Douglas Gregor | a29dc05 | 2008-11-27 01:19:21 +0000 | [diff] [blame] | 77 | |
| Eli Friedman | 5f50895 | 2013-06-18 22:41:37 +0000 | [diff] [blame] | 78 | int& qualid(id<P0>); |
| 79 | float& qualid(id<P1>); |
| Douglas Gregor | a29dc05 | 2008-11-27 01:19:21 +0000 | [diff] [blame] | 80 | |
| 81 | void qualid_test(A *a, B *b, C *c) { |
| 82 | int& i1 = qualid(a); |
| 83 | int& i2 = qualid(b); |
| John McCall | f28e83a | 2010-10-26 06:23:29 +0000 | [diff] [blame] | 84 | |
| Eli Friedman | 5f50895 | 2013-06-18 22:41:37 +0000 | [diff] [blame] | 85 | float& f1 = qualid(c); |
| Douglas Gregor | 79a6b01 | 2008-12-22 20:51:52 +0000 | [diff] [blame] | 86 | |
| 87 | id<P0> p1 = 0; |
| 88 | p1 = 0; |
| Douglas Gregor | a29dc05 | 2008-11-27 01:19:21 +0000 | [diff] [blame] | 89 | } |
| Douglas Gregor | a119f10 | 2008-12-19 19:13:09 +0000 | [diff] [blame] | 90 | |
| 91 | |
| 92 | @class NSException; |
| 93 | typedef struct { |
| 94 | void (*throw_exc)(id); |
| 95 | } |
| 96 | objc_exception_functions_t; |
| 97 | |
| 98 | void (*_NSExceptionRaiser(void))(NSException *) { |
| 99 | objc_exception_functions_t exc_funcs; |
| Douglas Gregor | 6dd3a6a | 2010-12-02 21:47:04 +0000 | [diff] [blame] | 100 | return exc_funcs.throw_exc; // expected-warning{{incompatible pointer types returning 'void (*)(id)' from a function with result type 'void (*)(NSException *)'}} |
| Douglas Gregor | a119f10 | 2008-12-19 19:13:09 +0000 | [diff] [blame] | 101 | } |
| John McCall | 6d1116a | 2010-06-11 10:04:22 +0000 | [diff] [blame] | 102 | |
| 103 | namespace test5 { |
| 104 | void foo(bool); |
| 105 | void foo(void *); |
| 106 | |
| 107 | void test(id p) { |
| 108 | foo(p); |
| 109 | } |
| 110 | } |
| John McCall | f28e83a | 2010-10-26 06:23:29 +0000 | [diff] [blame] | 111 | |
| 112 | // rdar://problem/8592139 |
| 113 | namespace test6 { |
| Douglas Gregor | 058d3de | 2011-01-31 18:51:41 +0000 | [diff] [blame] | 114 | void foo(id); // expected-note{{candidate function}} |
| John McCall | f28e83a | 2010-10-26 06:23:29 +0000 | [diff] [blame] | 115 | void foo(A*) __attribute__((unavailable)); // expected-note {{explicitly made unavailable}} |
| 116 | |
| 117 | void test(B *b) { |
| Douglas Gregor | 058d3de | 2011-01-31 18:51:41 +0000 | [diff] [blame] | 118 | foo(b); // expected-error {{call to unavailable function 'foo'}} |
| John McCall | f28e83a | 2010-10-26 06:23:29 +0000 | [diff] [blame] | 119 | } |
| 120 | } |
| Douglas Gregor | 8d6d067 | 2010-12-01 21:43:58 +0000 | [diff] [blame] | 121 | |
| 122 | namespace rdar8714395 { |
| 123 | int &f(const void*); |
| 124 | float &f(const Foo*); |
| 125 | |
| 126 | int &f2(const void*); |
| 127 | float &f2(Foo const* const *); |
| 128 | |
| 129 | int &f3(const void*); |
| 130 | float &f3(Foo const**); |
| 131 | |
| 132 | void g(Foo *p) { |
| 133 | float &fr = f(p); |
| 134 | float &fr2 = f2(&p); |
| 135 | int &ir = f3(&p); |
| 136 | } |
| 137 | |
| 138 | |
| 139 | } |
| Douglas Gregor | c6bd1d3 | 2010-12-06 22:09:19 +0000 | [diff] [blame] | 140 | |
| 141 | namespace rdar8734046 { |
| 142 | void f1(id); |
| 143 | void f2(id<P0>); |
| 144 | void g(const A *a) { |
| 145 | f1(a); |
| 146 | f2(a); |
| 147 | } |
| 148 | } |
| Douglas Gregor | 5d3d3fa | 2011-04-15 20:45:44 +0000 | [diff] [blame] | 149 | |
| 150 | namespace PR9735 { |
| 151 | int &f3(const A*); |
| 152 | float &f3(const void*); |
| 153 | |
| 154 | void test_f(B* b, const B* bc) { |
| 155 | int &ir1 = f3(b); |
| 156 | int &ir2 = f3(bc); |
| 157 | } |
| 158 | } |
| Douglas Gregor | 30ee16f | 2011-04-27 00:01:52 +0000 | [diff] [blame] | 159 | |
| 160 | @interface D : B |
| 161 | @end |
| 162 | |
| 163 | namespace rdar9327203 { |
| 164 | int &f(void* const&, int); |
| 165 | float &f(void* const&, long); |
| 166 | |
| 167 | void g(id x) { |
| 168 | int &fr = (f)(x, 0); |
| 169 | } |
| 170 | } |
| Douglas Gregor | 843e978 | 2011-12-15 17:20:18 +0000 | [diff] [blame] | 171 | |
| 172 | namespace class_id { |
| 173 | // it's okay to overload Class with id. |
| 174 | void f(Class) { } |
| 175 | void f(id) { } |
| 176 | } |