| Douglas Gregor | 7345626 | 2012-02-09 10:18:50 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -std=c++11 %s -verify |
| 2 | |
| 3 | void missing_lambda_declarator() { |
| 4 | [](){}(); |
| 5 | } |
| 6 | |
| 7 | template<typename T> T get(); |
| 8 | |
| 9 | void infer_void_return_type(int i) { |
| 10 | if (i > 17) |
| 11 | return []() { }(); |
| 12 | |
| 13 | if (i > 11) |
| 14 | return []() { return; }(); |
| 15 | |
| 16 | return [](int x) { |
| 17 | switch (x) { |
| 18 | case 0: return get<void>(); |
| 19 | case 1: return; |
| Douglas Gregor | 940a550 | 2012-02-09 18:40:39 +0000 | [diff] [blame^] | 20 | case 2: return { 1, 2.0 }; // expected-error{{cannot deduce lambda return type from initializer list}} |
| Douglas Gregor | 7345626 | 2012-02-09 10:18:50 +0000 | [diff] [blame] | 21 | } |
| 22 | }(7); |
| 23 | } |
| 24 | |
| 25 | struct X { }; |
| 26 | |
| 27 | X infer_X_return_type(X x) { |
| 28 | return [&x](int y) { // expected-warning{{omitted result type}} |
| 29 | if (y > 0) |
| 30 | return X(); |
| 31 | else |
| 32 | return x; |
| 33 | }(5); |
| 34 | } |
| 35 | |
| 36 | X infer_X_return_type_fail(X x) { |
| 37 | return [x](int y) { // expected-warning{{omitted result type}} |
| 38 | if (y > 0) |
| 39 | return X(); |
| 40 | else // FIXME: shouldn't mention blocks |
| 41 | return x; // expected-error{{return type 'const X' must match previous return type 'X' when block literal has unspecified explicit return type}} |
| 42 | }(5); |
| 43 | } |