John McCall | 260611a | 2012-06-20 06:18:46 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -fobjc-runtime=macosx-fragile-10.5 -verify -Wno-objc-root-class %s |
Douglas Gregor | c5e77d5 | 2010-02-19 15:18:45 +0000 | [diff] [blame] | 2 | @interface I1 |
Douglas Gregor | 6aa14d8 | 2010-04-21 22:36:40 +0000 | [diff] [blame] | 3 | - (int*)method; |
Douglas Gregor | c5e77d5 | 2010-02-19 15:18:45 +0000 | [diff] [blame] | 4 | @end |
| 5 | |
| 6 | @implementation I1 |
Douglas Gregor | 6aa14d8 | 2010-04-21 22:36:40 +0000 | [diff] [blame] | 7 | - (int*)method { |
Douglas Gregor | c5e77d5 | 2010-02-19 15:18:45 +0000 | [diff] [blame] | 8 | struct x { }; |
Douglas Gregor | 2725ca8 | 2010-04-21 19:57:20 +0000 | [diff] [blame] | 9 | [x method]; // expected-error{{receiver type 'x' is not an Objective-C class}} |
Douglas Gregor | 6aa14d8 | 2010-04-21 22:36:40 +0000 | [diff] [blame] | 10 | return 0; |
Douglas Gregor | c5e77d5 | 2010-02-19 15:18:45 +0000 | [diff] [blame] | 11 | } |
| 12 | @end |
Douglas Gregor | 36262b8 | 2010-02-19 16:08:35 +0000 | [diff] [blame] | 13 | |
| 14 | typedef struct { int x; } ivar; |
| 15 | |
| 16 | @interface I2 { |
| 17 | id ivar; |
| 18 | } |
Douglas Gregor | 6aa14d8 | 2010-04-21 22:36:40 +0000 | [diff] [blame] | 19 | - (int*)method; |
Douglas Gregor | 36262b8 | 2010-02-19 16:08:35 +0000 | [diff] [blame] | 20 | + (void)method; |
| 21 | @end |
| 22 | |
Douglas Gregor | 6aa14d8 | 2010-04-21 22:36:40 +0000 | [diff] [blame] | 23 | struct I2_holder { |
| 24 | I2_holder(); |
| 25 | |
| 26 | I2 *get(); |
| 27 | }; |
| 28 | |
| 29 | I2 *operator+(I2_holder, int); |
| 30 | |
Douglas Gregor | 36262b8 | 2010-02-19 16:08:35 +0000 | [diff] [blame] | 31 | @implementation I2 |
Douglas Gregor | 6aa14d8 | 2010-04-21 22:36:40 +0000 | [diff] [blame] | 32 | - (int*)method { |
Douglas Gregor | 36262b8 | 2010-02-19 16:08:35 +0000 | [diff] [blame] | 33 | [ivar method]; |
Douglas Gregor | 6aa14d8 | 2010-04-21 22:36:40 +0000 | [diff] [blame] | 34 | |
| 35 | // Test instance messages that start with a simple-type-specifier. |
| 36 | [I2_holder().get() method]; |
| 37 | [I2_holder().get() + 17 method]; |
| 38 | return 0; |
Douglas Gregor | 36262b8 | 2010-02-19 16:08:35 +0000 | [diff] [blame] | 39 | } |
| 40 | + (void)method { |
Gabor Greif | d527874 | 2010-08-28 10:40:52 +0000 | [diff] [blame] | 41 | [ivar method]; // expected-error{{receiver type 'ivar' is not an Objective-C class}} |
Douglas Gregor | 36262b8 | 2010-02-19 16:08:35 +0000 | [diff] [blame] | 42 | } |
| 43 | @end |
Douglas Gregor | 6aa14d8 | 2010-04-21 22:36:40 +0000 | [diff] [blame] | 44 | |
| 45 | // Class message sends |
| 46 | @interface I3 |
| 47 | + (int*)method; |
| 48 | @end |
| 49 | |
| 50 | @interface I4 : I3 |
| 51 | + (int*)otherMethod; |
| 52 | @end |
| 53 | |
| 54 | template<typename T> |
| 55 | struct identity { |
| 56 | typedef T type; |
| 57 | }; |
| 58 | |
| 59 | @implementation I4 |
| 60 | + (int *)otherMethod { |
| 61 | // Test class messages that use non-trivial simple-type-specifiers |
| 62 | // or typename-specifiers. |
| 63 | if (false) { |
| 64 | if (true) |
Douglas Gregor | 1a15dae | 2010-06-16 22:31:08 +0000 | [diff] [blame] | 65 | return [typename identity<I3>::type method]; // expected-warning{{occurs outside of a template}} |
Douglas Gregor | 6aa14d8 | 2010-04-21 22:36:40 +0000 | [diff] [blame] | 66 | |
| 67 | return [::I3 method]; |
| 68 | } |
| 69 | |
| 70 | int* ip1 = {[super method]}; |
| 71 | int* ip2 = {[::I3 method]}; |
Douglas Gregor | 1a15dae | 2010-06-16 22:31:08 +0000 | [diff] [blame] | 72 | int* ip3 = {[typename identity<I3>::type method]}; // expected-warning{{occurs outside of a template}} |
| 73 | int* ip4 = {[typename identity<I2_holder>::type().get() method]}; // expected-warning{{occurs outside of a template}} |
Douglas Gregor | 6aa14d8 | 2010-04-21 22:36:40 +0000 | [diff] [blame] | 74 | int array[5] = {[3] = 2}; |
| 75 | return [super method]; |
| 76 | } |
| 77 | @end |
Douglas Gregor | 688fc9b | 2010-04-21 23:24:10 +0000 | [diff] [blame] | 78 | |
| 79 | struct String { |
| 80 | String(const char *); |
| 81 | }; |
| 82 | |
| 83 | struct MutableString : public String { }; |
| 84 | |
| 85 | // C++-specific parameter types |
| 86 | @interface I5 |
Douglas Gregor | a41a8c5 | 2010-04-22 00:20:18 +0000 | [diff] [blame] | 87 | - method:(const String&)str1 |
| 88 | other:(String&)str2; // expected-note{{passing argument to parameter 'str2' here}} |
Douglas Gregor | 688fc9b | 2010-04-21 23:24:10 +0000 | [diff] [blame] | 89 | @end |
| 90 | |
| 91 | void test_I5(I5 *i5, String s) { |
| 92 | [i5 method:"hello" other:s]; |
Chris Lattner | 58f9e13 | 2010-09-05 00:04:01 +0000 | [diff] [blame] | 93 | [i5 method:s other:"world"]; // expected-error{{non-const lvalue reference to type 'String' cannot bind to a value of unrelated type 'const char [6]'}} |
Douglas Gregor | 688fc9b | 2010-04-21 23:24:10 +0000 | [diff] [blame] | 94 | } |
Douglas Gregor | 8577364 | 2010-09-28 17:48:56 +0000 | [diff] [blame] | 95 | |
| 96 | // <rdar://problem/8483253> |
| 97 | @interface A |
| 98 | |
| 99 | struct X { }; |
| 100 | |
| 101 | + (A *)create:(void (*)(void *x, X r, void *data))callback |
| 102 | callbackData:(void *)callback_data; |
| 103 | |
| 104 | @end |
| 105 | |
| 106 | |
| 107 | void foo(void) |
| 108 | { |
| 109 | void *fun; |
| 110 | void *ptr; |
| 111 | X r; |
| 112 | A *im = [A create:(void (*)(void *cgl_ctx, X r, void *data)) fun |
| 113 | callbackData:ptr]; |
| 114 | } |
Douglas Gregor | 483dd2f | 2011-01-11 03:23:19 +0000 | [diff] [blame] | 115 | |
| 116 | // <rdar://problem/8807070> |
| 117 | template<typename T> struct X1; // expected-note{{template is declared here}} |
| 118 | |
| 119 | @interface B |
| 120 | + (X1<int>)blah; |
| 121 | + (X1<float>&)blarg; |
| 122 | @end |
| 123 | |
| 124 | void f() { |
| 125 | [B blah]; // expected-error{{implicit instantiation of undefined template 'X1<int>'}} |
| 126 | [B blarg]; |
| 127 | } |