clang/test/SemaCXX/block-call.cpp

   1 // RUN: %clang_cc1 -x c++ -fsyntax-only -verify %s -fblocks
   2
   3 int (*FP)();
   4 int (^IFP) ();
   5 int (^II) (int);
   6 int 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;       // OK
  12
  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
  41 int 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 }