66 lines · cpp
1// RUN: %clang_cc1 -fsyntax-only -std=c++11 %s -verify2// RUN: %clang_cc1 -fsyntax-only -std=c++1y %s -verify -DCPP1Y3 4void missing_lambda_declarator() {5 [](){}();6}7 8template<typename T> T get();9 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 26struct X { };27 28X infer_X_return_type(X x) {29 return [&x](int y) {30 if (y > 0)31 return X();32 else33 return x;34 }(5);35}36 37X infer_X_return_type_2(X x) {38 return [x](int y) {39 if (y > 0)40 return X();41 else42 return x; // ok even in c++11, per dr1048.43 }(5);44}45 46struct Incomplete; // expected-note 2{{forward declaration of 'Incomplete'}}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 55template <typename T>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 63void test_result_type_call() {64 test_result_type_tpl<Incomplete>(10); // expected-note {{requested here}}65}66