blob: 2dc458124319be83088e9f94db046b4f993ea7e7 [file] [log] [blame]
// RUN: clang-cc -fsyntax-only %s -verify -fblocks
void I( void (^)(void));
void (^noop)(void);
void nothing();
int printf(const char*, ...);
typedef void (^T) (void);
void takeclosure(T);
int takeintint(int (^C)(int)) { return C(4); }
T somefunction() {
if (^{ })
nothing();
noop = ^{};
noop = ^{printf("\nClosure\n"); };
I(^{ });
return ^{printf("\nClosure\n"); }; // expected-error {{returning block that lives on the local stack}}
}
void test2() {
int x = 4;
takeclosure(^{ printf("%d\n", x); });
while (1) {
takeclosure(^{
break; // expected-error {{'break' statement not in loop or switch statement}}
continue; // expected-error {{'continue' statement not in loop statement}}
while(1) break; // ok
goto foo; // expected-error {{goto not allowed}}
});
break;
}
foo:
takeclosure(^{ x = 4; }); // expected-error {{variable is not assignable (missing __block type specifier)}}
__block y = 7; // expected-warning {{type specifier missing, defaults to 'int'}}
takeclosure(^{ y = 8; });
}
void (^test3())(void) {
return ^{}; // expected-error {{returning block that lives on the local stack}}
}
void test4() {
void (^noop)(void) = ^{};
void (*noop2)() = 0;
}
void myfunc(int (^block)(int)) {}
void myfunc3(const int *x);
void test5() {
int a;
myfunc(^(int abcd) {
myfunc3(&a);
return 1;
});
}
void *X;
void test_arguments() {
int y;
int (^c)(char);
(1 ? c : 0)('x');
(1 ? 0 : c)('x');
(1 ? c : c)('x');
}
static int global_x = 10;
void (^global_block)(void) = ^{ printf("global x is %d\n", global_x); };
#if 0
// Old syntax. FIXME: convert/test.
void test_byref() {
int i;
X = ^{| g |}; // error {{use of undeclared identifier 'g'}}
X = ^{| i,i,i | };
X = ^{|i| i = 0; };
}
// TODO: global closures someday.
void *A = ^{};
void *B = ^(int){ A = 0; };
// Closures can not take return types at this point.
void test_retvals() {
// Explicit return value.
^int{}; // error {{closure with explicit return type requires argument list}}
X = ^void(){};
// Optional specification of return type.
X = ^char{ return 'x'; }; // error {{closure with explicit return type requires argument list}}
X = ^/*missing declspec*/ *() { return (void*)0; };
X = ^void*() { return (void*)0; };
//X = ^char(short c){ if (c) return c; else return (int)4; };
}
#endif