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