| // RUN: clang-cc -fsyntax-only -verify %s -fblocks |
| void donotwarn(); |
| |
| int (^IFP) (); |
| int (^II) (int); |
| int test1() { |
| int (^PFR) (int) = 0; // OK |
| PFR = II; // OK |
| |
| if (PFR == II) // OK |
| donotwarn(); |
| |
| if (PFR == IFP) // expected-error {{comparison of distinct block types}} |
| donotwarn(); |
| |
| if (PFR == (int (^) (int))IFP) // OK |
| donotwarn(); |
| |
| if (PFR == 0) // OK |
| donotwarn(); |
| |
| if (PFR) // OK |
| donotwarn(); |
| |
| if (!PFR) // OK |
| donotwarn(); |
| |
| return PFR != IFP; // expected-error {{comparison of distinct block types}} |
| } |
| |
| int test2(double (^S)()) { |
| double (^I)(int) = (void*) S; |
| (void*)I = (void *)S; // expected-error {{assignment to cast is illegal, lvalue casts are not supported}} |
| |
| void *pv = I; |
| |
| pv = S; |
| |
| I(1); |
| |
| return (void*)I == (void *)S; |
| } |
| |
| int^ x; // expected-error {{block pointer to non-function type is invalid}} |
| int^^ x1; // expected-error {{block pointer to non-function type is invalid}} expected-error {{block pointer to non-function type is invalid}} |
| |
| int test3() { |
| char *^ y; // expected-error {{block pointer to non-function type is invalid}} |
| } |
| |
| |
| |
| enum {NSBIRLazilyAllocated = 0}; |
| |
| int test4(int argc) { // rdar://6251437 |
| ^{ |
| switch (argc) { |
| case NSBIRLazilyAllocated: // is an integer constant expression. |
| default: |
| break; |
| } |
| }(); |
| return 0; |
| } |
| |
| |
| // rdar://6257721 - reference to static/global is byref by default. |
| static int test5g; |
| void test5() { |
| bar(^{ test5g = 1; }); |
| } |
| |
| // rdar://6405429 - __func__ in a block refers to the containing function name. |
| const char*test6() { |
| return ^{ |
| return __func__; |
| } (); |
| } |
| |
| // radr://6732116 - block comparisons |
| void (^test7a)(); |
| int test7(void (^p)()) { |
| return test7a == p; |
| } |
| |
| |
| void test8() { |
| somelabel: |
| // FIXME: This should say "jump out of block not legal" when gotos are allowed. |
| ^{ goto somelabel; }(); // expected-error {{goto not allowed in block literal}} |
| } |
| |
| void test9() { |
| goto somelabel; // expected-error {{use of undeclared label 'somelabel'}} |
| ^{ somelabel: ; }(); |
| } |
| |
| void test10(int i) { |
| switch (i) { |
| case 41: ; |
| ^{ case 42: ; }(); // expected-error {{'case' statement not in switch statement}} |
| } |
| } |
| |
| void test11(int i) { |
| switch (i) { |
| case 41: ; |
| ^{ break; }(); // expected-error {{'break' statement not in loop or switch statement}} |
| } |
| |
| for (; i < 100; ++i) |
| ^{ break; }(); // expected-error {{'break' statement not in loop or switch statement}} |
| } |
| |
| // rdar://6808730 |
| void *test13 = ^{ |
| int X = 32; |
| |
| void *P = ^{ |
| return X+4; // References outer block's "X", so outer block is constant. |
| }; |
| }; |
| |
| void test14() { |
| int X = 32; |
| static void *P = ^{ // expected-error {{initializer element is not a compile-time constant}} |
| |
| void *Q = ^{ |
| // References test14's "X": outer block is non constant. |
| return X+4; |
| }; |
| }; |
| } |
| |
| void (^test12f)(void); |
| void test12() { |
| test12f = ^test12f; // expected-error {{type name requires a specifier or qualifier}} expected-error {{expected expression}} |
| } |
| |