Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only %s -verify -fblocks |
Steve Naroff | c50a4a5 | 2008-09-16 22:25:10 +0000 | [diff] [blame] | 2 | |
| 3 | typedef void (^CL)(void); |
| 4 | |
| 5 | CL foo() { |
Mike Stump | 98eb8a7 | 2009-02-04 22:31:32 +0000 | [diff] [blame] | 6 | short y; |
Douglas Gregor | 08a4190 | 2010-04-09 17:53:29 +0000 | [diff] [blame] | 7 | short (^add1)(void) = ^{ return y+1; }; // expected-error {{incompatible block pointer types initializing 'short (^)(void)' with an expression of type 'int (^)(void)'}} |
Steve Naroff | c50a4a5 | 2008-09-16 22:25:10 +0000 | [diff] [blame] | 8 | |
Mike Stump | 98eb8a7 | 2009-02-04 22:31:32 +0000 | [diff] [blame] | 9 | CL X = ^{ |
| 10 | if (2) |
| 11 | return; |
Fariborz Jahanian | 649657e | 2011-12-03 23:53:56 +0000 | [diff] [blame] | 12 | return 1; // expected-error {{return type 'int' must match previous return type 'void' when block literal has unspecified explicit return type}} |
Steve Naroff | c50a4a5 | 2008-09-16 22:25:10 +0000 | [diff] [blame] | 13 | }; |
Mike Stump | 98eb8a7 | 2009-02-04 22:31:32 +0000 | [diff] [blame] | 14 | |
| 15 | int (^Y) (void) = ^{ |
Steve Naroff | c50a4a5 | 2008-09-16 22:25:10 +0000 | [diff] [blame] | 16 | if (3) |
| 17 | return 1; |
| 18 | else |
Fariborz Jahanian | 649657e | 2011-12-03 23:53:56 +0000 | [diff] [blame] | 19 | return; // expected-error {{return type 'void' must match previous return type 'int' when block literal has unspecified explicit return type}} |
Steve Naroff | c50a4a5 | 2008-09-16 22:25:10 +0000 | [diff] [blame] | 20 | }; |
| 21 | |
Mike Stump | 98eb8a7 | 2009-02-04 22:31:32 +0000 | [diff] [blame] | 22 | char *(^Z)(void) = ^{ |
Steve Naroff | c50a4a5 | 2008-09-16 22:25:10 +0000 | [diff] [blame] | 23 | if (3) |
| 24 | return ""; |
| 25 | else |
| 26 | return (char*)0; |
| 27 | }; |
| 28 | |
Douglas Gregor | 08a4190 | 2010-04-09 17:53:29 +0000 | [diff] [blame] | 29 | double (^A)(void) = ^ { // expected-error {{incompatible block pointer types initializing 'double (^)(void)' with an expression of type 'float (^)(void)'}} |
Mike Stump | 98eb8a7 | 2009-02-04 22:31:32 +0000 | [diff] [blame] | 30 | if (1) |
| 31 | return (float)1.0; |
Steve Naroff | c50a4a5 | 2008-09-16 22:25:10 +0000 | [diff] [blame] | 32 | else |
| 33 | if (2) |
Fariborz Jahanian | 0586520 | 2011-12-03 17:47:53 +0000 | [diff] [blame] | 34 | return (double)2.0; // expected-error {{return type 'double' must match previous return type 'float' when block literal has unspecified explicit return type}} |
| 35 | return 1; // expected-error {{return type 'int' must match previous return type 'float' when block literal has unspecified explicit return type}} |
Steve Naroff | c50a4a5 | 2008-09-16 22:25:10 +0000 | [diff] [blame] | 36 | }; |
Mike Stump | 98eb8a7 | 2009-02-04 22:31:32 +0000 | [diff] [blame] | 37 | char *(^B)(void) = ^{ |
Steve Naroff | c50a4a5 | 2008-09-16 22:25:10 +0000 | [diff] [blame] | 38 | if (3) |
| 39 | return ""; |
| 40 | else |
Fariborz Jahanian | 0586520 | 2011-12-03 17:47:53 +0000 | [diff] [blame] | 41 | return 2; // expected-error {{return type 'int' must match previous return type 'char *' when block literal has unspecified explicit return type}} |
Steve Naroff | c50a4a5 | 2008-09-16 22:25:10 +0000 | [diff] [blame] | 42 | }; |
Mike Stump | 98eb8a7 | 2009-02-04 22:31:32 +0000 | [diff] [blame] | 43 | |
Douglas Gregor | d4eea83 | 2010-04-09 00:35:39 +0000 | [diff] [blame] | 44 | return ^{ return 1; }; // expected-error {{incompatible block pointer types returning 'int (^)(void)' from a function with result type 'CL' (aka 'void (^)(void)')}} |
Steve Naroff | c50a4a5 | 2008-09-16 22:25:10 +0000 | [diff] [blame] | 45 | } |
| 46 | |
| 47 | typedef int (^CL2)(void); |
| 48 | |
| 49 | CL2 foo2() { |
Mike Stump | 397195b | 2009-04-17 00:09:41 +0000 | [diff] [blame] | 50 | return ^{ return 1; }; |
Steve Naroff | c50a4a5 | 2008-09-16 22:25:10 +0000 | [diff] [blame] | 51 | } |
Steve Naroff | 1656442 | 2008-09-24 22:26:48 +0000 | [diff] [blame] | 52 | |
| 53 | typedef unsigned int * uintptr_t; |
| 54 | typedef char Boolean; |
| 55 | typedef int CFBasicHash; |
| 56 | |
| 57 | #define INVOKE_CALLBACK2(P, A, B) (P)(A, B) |
| 58 | |
| 59 | typedef struct { |
| 60 | Boolean (^isEqual)(const CFBasicHash *, uintptr_t stack_value_or_key1, uintptr_t stack_value_or_key2, Boolean is_key); |
| 61 | } CFBasicHashCallbacks; |
| 62 | |
| 63 | int foo3() { |
| 64 | CFBasicHashCallbacks cb; |
| 65 | |
| 66 | Boolean (*value_equal)(uintptr_t, uintptr_t) = 0; |
| 67 | |
| 68 | cb.isEqual = ^(const CFBasicHash *table, uintptr_t stack_value_or_key1, uintptr_t stack_value_or_key2, Boolean is_key) { |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 69 | return (Boolean)(uintptr_t)INVOKE_CALLBACK2(value_equal, (uintptr_t)stack_value_or_key1, (uintptr_t)stack_value_or_key2); |
Steve Naroff | 1656442 | 2008-09-24 22:26:48 +0000 | [diff] [blame] | 70 | }; |
| 71 | } |
Steve Naroff | ba80c9a | 2008-09-24 23:31:10 +0000 | [diff] [blame] | 72 | |
| 73 | static int funk(char *s) { |
Steve Naroff | 59f5394 | 2008-09-28 01:11:11 +0000 | [diff] [blame] | 74 | if (^{} == ((void*)0)) |
| 75 | return 1; |
| 76 | else |
| 77 | return 0; |
Steve Naroff | ba80c9a | 2008-09-24 23:31:10 +0000 | [diff] [blame] | 78 | } |
Chris Lattner | e030358 | 2010-01-09 20:43:19 +0000 | [diff] [blame] | 79 | void next(); |
Steve Naroff | ba80c9a | 2008-09-24 23:31:10 +0000 | [diff] [blame] | 80 | void foo4() { |
Chris Lattner | 58f9e13 | 2010-09-05 00:04:01 +0000 | [diff] [blame] | 81 | int (^xx)(const char *s) = ^(char *s) { return 1; }; // expected-error {{incompatible block pointer types initializing 'int (^)(const char *)' with an expression of type 'int (^)(char *)'}} |
| 82 | int (*yy)(const char *s) = funk; // expected-warning {{incompatible pointer types initializing 'int (*)(const char *)' with an expression of type 'int (char *)'}} |
Steve Naroff | 538afe3 | 2008-09-28 00:13:36 +0000 | [diff] [blame] | 83 | |
Chris Lattner | 58f9e13 | 2010-09-05 00:04:01 +0000 | [diff] [blame] | 84 | int (^nested)(char *s) = ^(char *str) { void (^nest)(void) = ^(void) { printf("%s\n", str); }; next(); return 1; }; // expected-warning{{implicitly declaring C library function 'printf' with type 'int (const char *, ...)'}} \ |
Douglas Gregor | a316e7b | 2009-02-14 00:32:47 +0000 | [diff] [blame] | 85 | // expected-note{{please include the header <stdio.h> or explicitly provide a declaration for 'printf'}} |
Steve Naroff | ba80c9a | 2008-09-24 23:31:10 +0000 | [diff] [blame] | 86 | } |
Mike Stump | 397195b | 2009-04-17 00:09:41 +0000 | [diff] [blame] | 87 | |
| 88 | typedef void (^bptr)(void); |
| 89 | |
| 90 | bptr foo5(int j) { |
| 91 | __block int i; |
| 92 | if (j) |
| 93 | return ^{ ^{ i=0; }(); }; // expected-error {{returning block that lives on the local stack}} |
| 94 | return ^{ i=0; }; // expected-error {{returning block that lives on the local stack}} |
Chris Lattner | 4ca606e | 2009-09-08 00:36:37 +0000 | [diff] [blame] | 95 | return (^{ i=0; }); // expected-error {{returning block that lives on the local stack}} |
| 96 | return (void*)(^{ i=0; }); // expected-error {{returning block that lives on the local stack}} |
Mike Stump | 397195b | 2009-04-17 00:09:41 +0000 | [diff] [blame] | 97 | } |
Mike Stump | 4eeab84 | 2009-04-28 01:10:27 +0000 | [diff] [blame] | 98 | |
| 99 | int (*funcptr3[5])(long); |
Argyrios Kyrtzidis | 9865044 | 2011-01-25 23:16:33 +0000 | [diff] [blame] | 100 | int sz8 = sizeof(^int (*[5])(long) {return funcptr3;}); // expected-error {{block cannot return array type}} expected-warning {{incompatible pointer to integer conversion}} |
Argyrios Kyrtzidis | a4356ad | 2011-01-26 01:26:44 +0000 | [diff] [blame] | 101 | int sz9 = sizeof(^int(*())()[3]{ }); // expected-error {{function cannot return array type}} |
Mike Stump | 19c30c0 | 2009-04-29 19:03:13 +0000 | [diff] [blame] | 102 | |
| 103 | void foo6() { |
Anders Carlsson | 5d1d7ae | 2010-09-03 00:25:02 +0000 | [diff] [blame] | 104 | int (^b)(int) __attribute__((noreturn)); |
Mike Stump | 19c30c0 | 2009-04-29 19:03:13 +0000 | [diff] [blame] | 105 | b = ^ (int i) __attribute__((noreturn)) { return 1; }; // expected-error {{block declared 'noreturn' should not return}} |
| 106 | b(1); |
Anders Carlsson | 5d1d7ae | 2010-09-03 00:25:02 +0000 | [diff] [blame] | 107 | int (^c)(void) __attribute__((noreturn)) = ^ __attribute__((noreturn)) { return 100; }; // expected-error {{block declared 'noreturn' should not return}} |
Mike Stump | 19c30c0 | 2009-04-29 19:03:13 +0000 | [diff] [blame] | 108 | } |
Fariborz Jahanian | 7d5c74e | 2009-06-19 23:37:08 +0000 | [diff] [blame] | 109 | |
| 110 | |
| 111 | void foo7() |
| 112 | { |
Fariborz Jahanian | d263fd1 | 2011-02-11 18:46:17 +0000 | [diff] [blame] | 113 | const int (^BB) (void) = ^{ const int i = 1; return i; }; // OK - initializing 'const int (^)(void)' with an expression of type 'int (^)(void)' |
Douglas Gregor | 5291c3c | 2010-07-13 08:18:22 +0000 | [diff] [blame] | 114 | |
Chandler Carruth | 5495f37 | 2010-07-14 06:36:18 +0000 | [diff] [blame] | 115 | const int (^CC) (void) = ^const int{ const int i = 1; return i; }; |
Douglas Gregor | 5291c3c | 2010-07-13 08:18:22 +0000 | [diff] [blame] | 116 | |
Fariborz Jahanian | 7d5c74e | 2009-06-19 23:37:08 +0000 | [diff] [blame] | 117 | |
| 118 | int i; |
| 119 | int (^FF) (void) = ^{ return i; }; // OK |
| 120 | int (^EE) (void) = ^{ return i+1; }; // OK |
| 121 | |
| 122 | __block int j; |
| 123 | int (^JJ) (void) = ^{ return j; }; // OK |
| 124 | int (^KK) (void) = ^{ return j+1; }; // OK |
| 125 | |
| 126 | __block const int k; |
| 127 | const int cint = 100; |
| 128 | |
Douglas Gregor | a873dfc | 2010-02-03 00:27:59 +0000 | [diff] [blame] | 129 | int (^MM) (void) = ^{ return k; }; |
| 130 | int (^NN) (void) = ^{ return cint; }; |
Fariborz Jahanian | 7d5c74e | 2009-06-19 23:37:08 +0000 | [diff] [blame] | 131 | } |
| 132 | |
| 133 | |