| // RUN: clang -fsyntax-only %s -verify |
| |
| typedef void (^CL)(void); |
| |
| CL foo() { |
| |
| short y; |
| |
| short (^add1)(void) = ^{ return y+1; }; // expected-warning {{incompatible block pointer types initializing 'int (^)(void)', expected 'short (^)(void)'}} |
| |
| CL X = ^{ |
| if (2) |
| return; |
| return 1; // expected-error {{void block should not return a value}} |
| }; |
| int (^Y) (void) = ^{ |
| if (3) |
| return 1; |
| else |
| return; // expected-error {{non-void block should return a value}} |
| }; |
| |
| char *(^Z)(void) = ^{ |
| if (3) |
| return ""; |
| else |
| return (char*)0; |
| }; |
| |
| double (^A)(void) = ^ { // expected-warning {{incompatible block pointer types initializing 'float (^)(void)', expected 'double (^)(void)'}} |
| if (1) |
| return (float)1.0; |
| else |
| if (2) |
| return (double)2.0; // expected-error {{incompatible type returning 'double', expected 'float'}} |
| return 1; // expected-error {{incompatible type returning 'int', expected 'float'}} |
| }; |
| |
| char *(^B)(void) = ^{ |
| if (3) |
| return ""; |
| else |
| return 2; // expected-error {{incompatible type returning 'int', expected 'char *'}} |
| }; |
| return ^{ return 1; }; // expected-warning {{incompatible block pointer types returning 'int (^)(void)', expected 'CL'}} expected-error {{returning block that lives on the local stack}} |
| } |
| |
| typedef int (^CL2)(void); |
| |
| CL2 foo2() { |
| return ^{ return 1; }; // expected-error {{returning block that lives on the local stack}} |
| } |
| |
| typedef unsigned int * uintptr_t; |
| typedef char Boolean; |
| typedef int CFBasicHash; |
| |
| #define INVOKE_CALLBACK2(P, A, B) (P)(A, B) |
| |
| typedef struct { |
| Boolean (^isEqual)(const CFBasicHash *, uintptr_t stack_value_or_key1, uintptr_t stack_value_or_key2, Boolean is_key); |
| } CFBasicHashCallbacks; |
| |
| int foo3() { |
| CFBasicHashCallbacks cb; |
| |
| Boolean (*value_equal)(uintptr_t, uintptr_t) = 0; |
| |
| cb.isEqual = ^(const CFBasicHash *table, uintptr_t stack_value_or_key1, uintptr_t stack_value_or_key2, Boolean is_key) { |
| return (Boolean)(uintptr_t)INVOKE_CALLBACK2(value_equal, (uintptr_t)stack_value_or_key1, (uintptr_t)stack_value_or_key2); |
| }; |
| } |
| |
| static int funk(char *s) { |
| return 1; |
| } |
| void foo4() { |
| int (^xx)(const char *s) = ^(char *s) { return 1; }; // expected-warning {{incompatible block pointer types initializing 'int (^)(char *)', expected 'int (^)(char const *)'}} |
| int (*yy)(const char *s) = funk; // expected-warning {{incompatible pointer types initializing 'int (char *)', expected 'int (*)(char const *)'}} |
| } |