| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s -fblocks |
|---|
| 2 | |
|---|
| 3 | int (*FP)(); |
|---|
| 4 | int (^IFP) (); |
|---|
| 5 | int (^II) (int); |
|---|
| 6 | int main() { |
|---|
| 7 | int (*FPL) (int) = FP; // C doesn't consider this an error. |
|---|
| 8 | |
|---|
| 9 | // For Blocks, the ASTContext::typesAreBlockCompatible() makes sure this is an error. |
|---|
| 10 | int (^PFR) (int) = IFP; // OK |
|---|
| 11 | PFR = II; // OK |
|---|
| 12 | |
|---|
| 13 | int (^IFP) () = PFR; // OK |
|---|
| 14 | |
|---|
| 15 | |
|---|
| 16 | const int (^CIC) () = IFP; // OK - initializing 'const int (^)()' with an expression of type 'int (^)()'}} |
|---|
| 17 | |
|---|
| 18 | const int (^CICC) () = CIC; |
|---|
| 19 | |
|---|
| 20 | |
|---|
| 21 | int * const (^IPCC) () = 0; |
|---|
| 22 | |
|---|
| 23 | int * const (^IPCC1) () = IPCC; |
|---|
| 24 | |
|---|
| 25 | int * (^IPCC2) () = IPCC; // expected-error {{incompatible block pointer types initializing 'int *(^)()' with an expression of type 'int *const (^)()'}} |
|---|
| 26 | |
|---|
| 27 | int (^IPCC3) (const int) = PFR; |
|---|
| 28 | |
|---|
| 29 | int (^IPCC4) (int, char (^CArg) (double)); |
|---|
| 30 | |
|---|
| 31 | int (^IPCC5) (int, char (^CArg) (double)) = IPCC4; |
|---|
| 32 | |
|---|
| 33 | int (^IPCC6) (int, char (^CArg) (float)) = IPCC4; // expected-error {{incompatible block pointer types initializing 'int (^)(int, char (^)(float))' with an expression of type 'int (^)(int, char (^)(double))'}} |
|---|
| 34 | |
|---|
| 35 | IPCC2 = 0; |
|---|
| 36 | IPCC2 = 1; // expected-error {{invalid block pointer conversion assigning to 'int *(^)()' from 'int'}} |
|---|
| 37 | int (^x)() = 0; |
|---|
| 38 | int (^y)() = 3; // expected-error {{invalid block pointer conversion initializing 'int (^)()' with an expression of type 'int'}} |
|---|
| 39 | int a = 1; |
|---|
| 40 | int (^z)() = a+4; // expected-error {{invalid block pointer conversion initializing 'int (^)()' with an expression of type 'int'}} |
|---|
| 41 | } |
|---|
| 42 | |
|---|
| 43 | int blah() { |
|---|
| 44 | int (^IFP) (float); |
|---|
| 45 | char (^PCP)(double, double, char); |
|---|
| 46 | |
|---|
| 47 | IFP(1.0); |
|---|
| 48 | IFP (1.0, 2.0); // expected-error {{too many arguments to block call}} |
|---|
| 49 | |
|---|
| 50 | char ch = PCP(1.0, 2.0, 'a'); |
|---|
| 51 | return PCP(1.0, 2.0); // expected-error {{too few arguments to block}} |
|---|
| 52 | } |
|---|
| 53 | |
|---|