1 // RUN: %clang_cc1 -fsyntax-only -std=c++11 %s -verify 2 // RUN: %clang_cc1 -fsyntax-only -std=c++1y %s -verify -DCPP1Y 3 missing_lambda_declarator()4void missing_lambda_declarator() { 5 [](){}(); 6 } 7 8 template<typename T> T get(); 9 infer_void_return_type(int i)10void infer_void_return_type(int i) { 11 if (i > 17) 12 return []() { }(); 13 14 if (i > 11) 15 return []() { return; }(); 16 17 return [](int x) { 18 switch (x) { 19 case 0: return get<void>(); 20 case 1: return; 21 case 2: return { 1, 2.0 }; //expected-error{{cannot deduce}} 22 } 23 }(7); 24 } 25 26 struct X { }; 27 infer_X_return_type(X x)28X infer_X_return_type(X x) { 29 return [&x](int y) { 30 if (y > 0) 31 return X(); 32 else 33 return x; 34 }(5); 35 } 36 infer_X_return_type_2(X x)37X infer_X_return_type_2(X x) { 38 return [x](int y) { 39 if (y > 0) 40 return X(); 41 else 42 return x; // ok even in c++11, per dr1048. 43 }(5); 44 } 45 46 struct Incomplete; // expected-note 2{{forward declaration of 'Incomplete'}} test_result_type(int N)47void test_result_type(int N) { // expected-note {{declared here}} 48 auto l1 = [] () -> Incomplete { }; // expected-error{{incomplete result type 'Incomplete' in lambda expression}} 49 50 typedef int vla[N]; // expected-warning {{variable length arrays in C++ are a Clang extension}} \ 51 expected-note {{function parameter 'N' with unknown value cannot be used in a constant expression}} 52 auto l2 = [] () -> vla { }; // expected-error{{function cannot return array type 'vla' (aka 'int[N]')}} 53 } 54 55 template <typename T> test_result_type_tpl(int N)56void test_result_type_tpl(int N) { // expected-note 2{{declared here}} 57 auto l1 = []() -> T {}; // expected-error{{incomplete result type 'Incomplete' in lambda expression}} 58 typedef int vla[N]; // expected-warning 2{{variable length arrays in C++ are a Clang extension}} \ 59 expected-note 2{{function parameter 'N' with unknown value cannot be used in a constant expression}} 60 auto l2 = []() -> vla {}; // expected-error{{function cannot return array type 'vla' (aka 'int[N]')}} 61 } 62 test_result_type_call()63void test_result_type_call() { 64 test_result_type_tpl<Incomplete>(10); // expected-note {{requested here}} 65 } 66