1 // RUN: %clang_cc1 -fsyntax-only -fobjc-fragile-abi -verify %s 2 @interface I1 3 - (int*)method; 4 @end 5 6 @implementation I1 7 - (int*)method { 8 struct x { }; 9 [x method]; // expected-error{{receiver type 'x' is not an Objective-C class}} 10 return 0; 11 } 12 @end 13 14 typedef struct { int x; } ivar; 15 16 @interface I2 { 17 id ivar; 18 } 19 - (int*)method; 20 + (void)method; 21 @end 22 23 struct I2_holder { 24 I2_holder(); 25 26 I2 *get(); 27 }; 28 29 I2 *operator+(I2_holder, int); 30 31 @implementation I2 32 - (int*)method { 33 [ivar method]; 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; 39 } 40 + (void)method { 41 [ivar method]; // expected-error{{receiver type 'ivar' is not an Objective-C class}} 42 } 43 @end 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) 65 return [typename identity<I3>::type method]; // expected-warning{{occurs outside of a template}} 66 67 return [::I3 method]; 68 } 69 70 int* ip1 = {[super method]}; 71 int* ip2 = {[::I3 method]}; 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}} 74 int array[5] = {[3] = 2}; 75 return [super method]; 76 } 77 @end 78 79 struct String { 80 String(const char *); 81 }; 82 83 struct MutableString : public String { }; 84 85 // C++-specific parameter types 86 @interface I5 87 - method:(const String&)str1 88 other:(String&)str2; // expected-note{{passing argument to parameter 'str2' here}} 89 @end 90 91 void test_I5(I5 *i5, String s) { 92 [i5 method:"hello" other:s]; 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]'}} 94 } 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 } 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 } 128
