1 // RUN: %clang_cc1 -fsyntax-only -verify %s -fblocks
2 
3 int (*FP)();
4 int (^IFP) ();
5 int (^II) (int);
main()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   IPCC1 = 1; // expected-error {{invalid block pointer conversion assigning to 'int *const (^)()' 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 
blah()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