1 // RUN: %clang_cc1 -fsyntax-only -fobjc-runtime=macosx-fragile-10.5 -verify -Wno-objc-root-class %s 2 // RUN: %clang_cc1 -fsyntax-only -fobjc-runtime=macosx-fragile-10.5 -verify -Wno-objc-root-class -std=c++98 %s 3 // RUN: %clang_cc1 -fsyntax-only -fobjc-runtime=macosx-fragile-10.5 -verify -Wno-objc-root-class -std=c++11 %s 4 5 @interface I1 6 - (int*)method; 7 @end 8 9 @implementation I1 10 - (int*)method { 11 struct x { }; 12 [x method]; // expected-error{{receiver type 'x' is not an Objective-C class}} 13 return 0; 14 } 15 @end 16 17 typedef struct { int x; } ivar; 18 19 @interface I2 { 20 id ivar; 21 } 22 - (int*)method; 23 + (void)method; 24 @end 25 26 struct I2_holder { 27 I2_holder(); 28 29 I2 *get(); 30 }; 31 32 I2 *operator+(I2_holder, int); 33 34 @implementation I2 35 - (int*)method { 36 [ivar method]; 37 38 // Test instance messages that start with a simple-type-specifier. 39 [I2_holder().get() method]; 40 [I2_holder().get() + 17 method]; 41 return 0; 42 } 43 + (void)method { 44 [ivar method]; // expected-error{{receiver type 'ivar' is not an Objective-C class}} 45 } 46 @end 47 48 // Class message sends 49 @interface I3 50 + (int*)method; 51 @end 52 53 @interface I4 : I3 54 + (int*)otherMethod; 55 @end 56 57 template<typename T> 58 struct identity { 59 typedef T type; 60 }; 61 62 @implementation I4 63 + (int *)otherMethod { 64 // Test class messages that use non-trivial simple-type-specifiers 65 // or typename-specifiers. 66 if (false) { 67 if (true) 68 return [typename identity<I3>::type method]; 69 #if __cplusplus <= 199711L 70 // expected-warning@-2 {{'typename' occurs outside of a template}} 71 #endif 72 73 return [::I3 method]; 74 } 75 76 int* ip1 = {[super method]}; 77 int* ip2 = {[::I3 method]}; 78 int* ip3 = {[typename identity<I3>::type method]}; 79 #if __cplusplus <= 199711L 80 // expected-warning@-2 {{'typename' occurs outside of a template}} 81 #endif 82 83 int* ip4 = {[typename identity<I2_holder>::type().get() method]}; 84 #if __cplusplus <= 199711L 85 // expected-warning@-2 {{'typename' occurs outside of a template}} 86 #endif 87 int array[5] = {[3] = 2}; 88 return [super method]; 89 } 90 @end 91 92 struct String { 93 String(const char *); 94 }; 95 96 struct MutableString : public String { }; 97 98 // C++-specific parameter types 99 @interface I5 100 - method:(const String&)str1 101 other:(String&)str2; // expected-note{{passing argument to parameter 'str2' here}} 102 @end 103 104 void test_I5(I5 *i5, String s) { 105 [i5 method:"hello" other:s]; 106 [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]'}} 107 } 108 109 // <rdar://problem/8483253> 110 @interface A 111 112 struct X { }; 113 114 + (A *)create:(void (*)(void *x, X r, void *data))callback 115 callbackData:(void *)callback_data; 116 117 @end 118 119 120 void foo(void) 121 { 122 void *fun; 123 void *ptr; 124 X r; 125 A *im = [A create:(void (*)(void *cgl_ctx, X r, void *data)) fun 126 callbackData:ptr]; 127 } 128 129 // <rdar://problem/8807070> 130 template<typename T> struct X1; // expected-note{{template is declared here}} 131 132 @interface B 133 + (X1<int>)blah; 134 + (X1<float>&)blarg; 135 @end 136 137 void f() { 138 [B blah]; // expected-error{{implicit instantiation of undefined template 'X1<int>'}} 139 [B blarg]; 140 } 141
