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
|
// RUN: %clang_cc1 -std=c++11 %s -Winvalid-noreturn -verify
// An attribute-specifier-seq in a lambda-declarator appertains to the
// type of the corresponding function call operator.
void test_attributes() {
auto nrl = [](int x) -> int { if (x > 0) return x; }; // expected-warning{{control may reach end of non-void lambda}}
// FIXME: GCC accepts the [[gnu::noreturn]] attribute here.
auto nrl2 = []() [[gnu::noreturn]] { return; }; // expected-warning{{attribute 'noreturn' ignored}}
}
template<typename T>
struct bogus_override_if_virtual : public T {
bogus_override_if_virtual() : T(*(T*)0) { } // expected-warning {{binding dereferenced null pointer to reference has undefined behavior}}
int operator()() const;
};
void test_quals() {
// This function call operator is declared const (9.3.1) if and only
// if the lambda- expression's parameter-declaration-clause is not
// followed by mutable.
auto l = [=](){}; // expected-note{{method is not marked volatile}}
const decltype(l) lc = l;
l();
lc();
auto ml = [=]() mutable{}; // expected-note{{method is not marked const}} \
// expected-note{{method is not marked volatile}}
const decltype(ml) mlc = ml;
ml();
mlc(); // expected-error{{no matching function for call to object of type}}
// It is neither virtual nor declared volatile.
volatile decltype(l) lv = l;
volatile decltype(ml) mlv = ml;
lv(); // expected-error{{no matching function for call to object of type}}
mlv(); // expected-error{{no matching function for call to object of type}}
bogus_override_if_virtual<decltype(l)> bogus; // expected-note{{in instantiation of member function 'bogus_override_if_virtual<(lambda}}
}
// Core issue 974: default arguments (8.3.6) may be specified in the
// parameter-declaration-clause of a lambda-declarator.
int test_default_args() {
return [](int i = 5, int j = 17) { return i+j;}(5, 6);
}
// Any exception-specification specified on a lambda-expression
// applies to the corresponding function call operator.
void test_exception_spec() {
auto tl1 = []() throw(int) {};
auto tl2 = []() {};
static_assert(!noexcept(tl1()), "lambda can throw");
static_assert(!noexcept(tl2()), "lambda can throw");
auto ntl1 = []() throw() {};
auto ntl2 = []() noexcept(true) {};
auto ntl3 = []() noexcept {};
static_assert(noexcept(ntl1()), "lambda cannot throw");
static_assert(noexcept(ntl2()), "lambda cannot throw");
static_assert(noexcept(ntl3()), "lambda cannot throw");
}
|
