blocks.mm revision 03f1eb031b84e93415b792c4b45d8da71c88e92d
1// RUN: %clang_cc1 -std=c++11 -fblocks %s -verify 2 3void block_capture_errors() { 4 __block int var; // expected-note 2{{'var' declared here}} 5 (void)[var] { }; // expected-error{{__block variable 'var' cannot be captured in a lambda}} 6 7 (void)[=] { var = 17; }; // expected-error{{__block variable 'var' cannot be captured in a lambda}} 8} 9 10void conversion_to_block(int captured) { 11 int (^b1)(int) = [=](int x) { return x + captured; }; 12 13 const auto lambda = [=](int x) { return x + captured; }; 14 int (^b2)(int) = lambda; 15} 16 17template<typename T> 18class ConstCopyConstructorBoom { 19public: 20 ConstCopyConstructorBoom(ConstCopyConstructorBoom&); 21 22 ConstCopyConstructorBoom(const ConstCopyConstructorBoom&) { 23 T *ptr = 1; // expected-error{{cannot initialize a variable of type 'float *' with an rvalue of type 'int'}} 24 } 25 26 void foo() const; 27}; 28 29void conversion_to_block_init(ConstCopyConstructorBoom<int> boom, 30 ConstCopyConstructorBoom<float> boom2) { 31 const auto& lambda1([=] { boom.foo(); }); // okay 32 33 const auto& lambda2([=] { boom2.foo(); }); // expected-note{{in instantiation of member function}} 34 void (^block)(void) = lambda2; 35} 36 37 38void nesting() { 39 int array[7]; // expected-note 2{{'array' declared here}} 40 [=] () mutable { 41 [&] { 42 ^ { 43 int i = array[2]; 44 i += array[3]; 45 }(); 46 }(); 47 }(); 48 49 [&] { 50 [=] () mutable { 51 ^ { 52 int i = array[2]; // expected-error{{cannot refer to declaration with an array type inside block}} 53 i += array[3]; // expected-error{{cannot refer to declaration with an array type inside block}} 54 }(); 55 }(); 56 }(); 57} 58 59namespace overloading { 60 void bool_conversion() { 61 if ([](){}) { 62 } 63 64 bool b = []{}; 65 b = (bool)[]{}; 66 } 67 68 void conversions() { 69 int (*fp)(int) = [](int x) { return x + 1; }; 70 fp = [](int x) { return x + 1; }; 71 72 typedef int (*func_ptr)(int); 73 fp = (func_ptr)[](int x) { return x + 1; }; 74 75 int (^bp)(int) = [](int x) { return x + 1; }; 76 bp = [](int x) { return x + 1; }; 77 78 typedef int (^block_ptr)(int); 79 bp = (block_ptr)[](int x) { return x + 1; }; 80 } 81 82 int &accept_lambda_conv(int (*fp)(int)); 83 float &accept_lambda_conv(int (^bp)(int)); 84 85 void call_with_lambda() { 86 int &ir = accept_lambda_conv([](int x) { return x + 1; }); 87 } 88} 89 90namespace PR13117 { 91 struct A { 92 template<typename ... Args> static void f1() 93 { 94 (void)^(Args args) { // expected-error{{block contains unexpanded parameter pack 'Args'}} 95 }; 96 } 97 98 template<typename ... Args> static void f2() 99 { 100 (void)[](Args args) { // expected-error{{lambda contains unexpanded parameter pack 'Args'}} 101 }; 102 } 103 }; 104 105 void g() { 106 A::f1<int, int>(); 107 A::f2<int, int>(); 108 } 109} 110