block-misc.c revision be6d259a375bbec49659d54a302c4758058f2eef
1// RUN: clang-cc -fsyntax-only -verify %s -fblocks 2void donotwarn(); 3 4int (^IFP) (); 5int (^II) (int); 6int test1() { 7 int (^PFR) (int) = 0; // OK 8 PFR = II; // OK 9 10 if (PFR == II) // OK 11 donotwarn(); 12 13 if (PFR == IFP) // OK 14 donotwarn(); 15 16 if (PFR == (int (^) (int))IFP) // OK 17 donotwarn(); 18 19 if (PFR == 0) // OK 20 donotwarn(); 21 22 if (PFR) // OK 23 donotwarn(); 24 25 if (!PFR) // OK 26 donotwarn(); 27 28 return PFR != IFP; // OK 29} 30 31int test2(double (^S)()) { 32 double (^I)(int) = (void*) S; 33 (void*)I = (void *)S; // expected-error {{assignment to cast is illegal, lvalue casts are not supported}} 34 35 void *pv = I; 36 37 pv = S; 38 39 I(1); 40 41 return (void*)I == (void *)S; 42} 43 44int^ x; // expected-error {{block pointer to non-function type is invalid}} 45int^^ x1; // expected-error {{block pointer to non-function type is invalid}} expected-error {{block pointer to non-function type is invalid}} 46 47int test3() { 48 char *^ y; // expected-error {{block pointer to non-function type is invalid}} 49} 50 51 52 53enum {NSBIRLazilyAllocated = 0}; 54 55int test4(int argc) { // rdar://6251437 56 ^{ 57 switch (argc) { 58 case NSBIRLazilyAllocated: // is an integer constant expression. 59 default: 60 break; 61 } 62 }(); 63 return 0; 64} 65 66 67// rdar://6257721 - reference to static/global is byref by default. 68static int test5g; 69void test5() { 70 bar(^{ test5g = 1; }); 71} 72 73// rdar://6405429 - __func__ in a block refers to the containing function name. 74const char*test6() { 75 return ^{ 76 return __func__; 77 } (); 78} 79 80// radr://6732116 - block comparisons 81void (^test7a)(); 82int test7(void (^p)()) { 83 return test7a == p; 84} 85 86 87void test8() { 88somelabel: 89 // FIXME: This should say "jump out of block not legal" when gotos are allowed. 90 ^{ goto somelabel; }(); // expected-error {{goto not allowed in block literal}} 91} 92 93void test9() { 94 goto somelabel; // expected-error {{use of undeclared label 'somelabel'}} 95 ^{ somelabel: ; }(); 96} 97 98void test10(int i) { 99 switch (i) { 100 case 41: ; 101 ^{ case 42: ; }(); // expected-error {{'case' statement not in switch statement}} 102 } 103} 104 105void test11(int i) { 106 switch (i) { 107 case 41: ; 108 ^{ break; }(); // expected-error {{'break' statement not in loop or switch statement}} 109 } 110 111 for (; i < 100; ++i) 112 ^{ break; }(); // expected-error {{'break' statement not in loop or switch statement}} 113} 114 115void (^test12f)(void); 116void test12() { 117 test12f = ^test12f; // expected-error {{type name requires a specifier or qualifier}} expected-error {{expected expression}} 118} 119 120// rdar://6808730 121void *test13 = ^{ 122 int X = 32; 123 124 void *P = ^{ 125 return X+4; // References outer block's "X", so outer block is constant. 126 }; 127}; 128 129void test14() { 130 int X = 32; 131 static void *P = ^{ // expected-error {{initializer element is not a compile-time constant}} 132 133 void *Q = ^{ 134 // References test14's "X": outer block is non constant. 135 return X+4; 136 }; 137 }; 138} 139 140enum { LESS }; 141 142void foo(long (^comp)()) { 143} 144 145void (^test15f)(void); 146void test15() { 147 foo(^{ return LESS; }); // expected-error {{incompatible block pointer types passing 'int (^)(void)', expected 'long (^)()'}} 148} 149 150__block int test16i; // expected-error {{__block attribute not allowed, only allowed on local variables}} 151 152void test16(__block int i) { // expected-error {{__block attribute not allowed, only allowed on local variables}} 153 int size = 5; 154 extern __block double extern_var; // expected-error {{__block attribute not allowed, only allowed on local variables}} 155 static __block char * pch; // expected-error {{__block attribute not allowed, only allowed on local variables}} 156 __block int a[size]; // expected-error {{__block attribute not allowed on declaration with a variably modified type}} 157 __block int (*ap)[size]; // expected-error {{__block attribute not allowed on declaration with a variably modified type}} 158} 159 160void test17() { 161 void (^bp)(int); 162 void (*rp)(int); 163 void (^bp1)(); 164 void *vp = bp; 165 166 f(1 ? bp : vp); 167 f(1 ? vp : bp); 168 f(1 ? bp : bp1); 169 (void)(bp > rp); // expected-error {{invalid operands}} 170 (void)(bp > 0); // expected-error {{invalid operands}} 171 (void)(bp > bp); // expected-error {{invalid operands}} 172 (void)(bp > vp); // expected-error {{invalid operands}} 173 f(1 ? bp : rp); // expected-error {{incompatible operand types ('void (^)(int)' and 'void (*)(int)')}} 174 (void)(bp == 1); // expected-error {{invalid operands to binary expression}} 175 (void)(bp == 0); 176 (void)(1 == bp); // expected-error {{invalid operands to binary expression}} 177 (void)(0 == bp); 178 (void)(bp < 1); // expected-error {{invalid operands to binary expression}} 179 (void)(bp < 0); // expected-error {{invalid operands to binary expression}} 180 (void)(1 < bp); // expected-error {{invalid operands to binary expression}} 181 (void)(0 < bp); // expected-error {{invalid operands to binary expression}} 182} 183 184void test18() { 185 void (^const blockA)(void) = ^{ }; 186 blockA = ^{ }; // expected-error {{read-only variable is not assignable}} 187} 188 189// rdar://7072507 190int test19() { 191 goto L0; // expected-error {{illegal goto into protected scope}} 192 193 __block int x; // expected-note {{jump bypasses setup of __block variable}} 194L0: 195 x = 0; 196 ^(){ ++x; }(); 197 return x; 198} 199 200 201