1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
// RUN: %clang_cc1 -std=c++03 %s -verify -Wno-c++23-extensions -Wno-c++20-extensions -Wno-c++17-extensions -Wno-c++14-extensions -Wno-c++11-extensions
// RUN: %clang_cc1 -std=c++11 %s -verify=expected,cxx11 -Wno-c++23-extensions -Wno-c++20-extensions -Wno-c++17-extensions -Wno-c++14-extensions
// RUN: %clang_cc1 -std=c++14 %s -verify -Wno-c++23-extensions -Wno-c++20-extensions -Wno-c++17-extensions
// RUN: %clang_cc1 -std=c++17 %s -verify -Wno-c++23-extensions -Wno-c++20-extensions
// RUN: %clang_cc1 -std=c++20 %s -verify -Wno-c++23-extensions
// RUN: %clang_cc1 -std=c++23 %s -verify
auto LL0 = [] {};
auto LL1 = []() {};
auto LL2 = []() mutable {};
#if __cplusplus >= 201103L
auto LL3 = []() constexpr {}; // cxx11-error {{return type 'void' is not a literal type}}
#endif
#if __cplusplus >= 201103L
auto L0 = [] constexpr {}; // cxx11-error {{return type 'void' is not a literal type}}
#endif
auto L1 = [] mutable {};
#if __cplusplus >= 201103L
auto L2 = [] noexcept {};
auto L3 = [] constexpr mutable {}; // cxx11-error {{return type 'void' is not a literal type}}
auto L4 = [] mutable constexpr {}; // cxx11-error {{return type 'void' is not a literal type}}
auto L5 = [] constexpr mutable noexcept {}; // cxx11-error {{return type 'void' is not a literal type}}
#endif
auto L6 = [s = 1] mutable {};
#if __cplusplus >= 201103L
auto L7 = [s = 1] constexpr mutable noexcept {}; // cxx11-error {{return type 'void' is not a literal type}}
#endif
auto L8 = [] -> bool { return true; };
auto L9 = []<typename T> { return true; };
#if __cplusplus >= 201103L
auto L10 = []<typename T> noexcept { return true; };
#endif
auto L11 = []<typename T> -> bool { return true; };
#if __cplusplus >= 202002L
auto L12 = [] consteval {};
auto L13 = []() requires true {}; // expected-error{{non-templated function cannot have a requires clause}}
auto L14 = []<auto> requires true() requires true {};
auto L15 = []<auto> requires true noexcept {};
#endif
auto L16 = [] [[maybe_unused]]{};
#if __cplusplus >= 201103L
auto XL0 = [] mutable constexpr mutable {}; // expected-error{{cannot appear multiple times}} cxx11-error {{return type 'void' is not a literal type}}
auto XL1 = [] constexpr mutable constexpr {}; // expected-error{{cannot appear multiple times}} cxx11-error {{return type 'void' is not a literal type}}
auto XL2 = []) constexpr mutable constexpr {}; // expected-error{{expected body of lambda expression}}
auto XL3 = []( constexpr mutable constexpr {}; // expected-error{{invalid storage class specifier}} \
// expected-error{{function parameter cannot be constexpr}} \
// expected-error{{a type specifier is required}} \
// expected-error{{expected ')'}} \
// expected-note{{to match this '('}} \
// expected-error{{expected body}} \
// expected-warning{{duplicate 'constexpr'}}
#endif
// http://llvm.org/PR49736
auto XL4 = [] requires true {}; // expected-error{{expected body}}
#if __cplusplus >= 201703L
auto XL5 = []<auto> requires true requires true {}; // expected-error{{expected body}}
auto XL6 = []<auto> requires true noexcept requires true {}; // expected-error{{expected body}}
#endif
auto XL7 = []() static static {}; // expected-error {{cannot appear multiple times}}
auto XL8 = []() static mutable {}; // expected-error {{cannot be both mutable and static}}
#if __cplusplus >= 202002L
auto XL9 = []() static consteval {};
#endif
#if __cplusplus >= 201103L
auto XL10 = []() static constexpr {}; // cxx11-error {{return type 'void' is not a literal type}}
#endif
auto XL11 = [] static {};
auto XL12 = []() static {};
auto XL13 = []() static extern {}; // expected-error {{expected body of lambda expression}}
auto XL14 = []() extern {}; // expected-error {{expected body of lambda expression}}
void static_captures() {
int x;
auto SC1 = [&]() static {}; // expected-error {{a static lambda cannot have any captures}}
auto SC4 = [x]() static {}; // expected-error {{a static lambda cannot have any captures}}
auto SC2 = [&x]() static {}; // expected-error {{a static lambda cannot have any captures}}
auto SC3 = [y=x]() static {}; // expected-error {{a static lambda cannot have any captures}}
auto SC5 = [&y = x]() static {}; // expected-error {{a static lambda cannot have any captures}}
auto SC6 = [=]() static {}; // expected-error {{a static lambda cannot have any captures}}
struct X {
int z;
void f() {
[this]() static {}(); // expected-error {{a static lambda cannot have any captures}}
[*this]() static {}(); // expected-error {{a static lambda cannot have any captures}}
}
};
}
#if __cplusplus >= 201703L
constexpr auto static_capture_constexpr() {
char n = 'n';
return [n] static { return n; }(); // expected-error {{a static lambda cannot have any captures}}
}
static_assert(static_capture_constexpr()); // expected-error {{static assertion expression is not an integral constant expression}}
constexpr auto capture_constexpr() {
char n = 'n';
return [n] { return n; }();
}
static_assert(capture_constexpr());
#endif
|
