1 // RUN: %clang_cc1 -std=c++11 %s -Winvalid-noreturn -verify
2
3 // An attribute-specifier-seq in a lambda-declarator appertains to the
4 // type of the corresponding function call operator.
test_attributes()5 void test_attributes() {
6 auto nrl = [](int x) -> int { if (x > 0) return x; }; // expected-warning{{control may reach end of non-void lambda}}
7
8 // FIXME: GCC accepts the [[gnu::noreturn]] attribute here.
9 auto nrl2 = []() [[gnu::noreturn]] { return; }; // expected-warning{{attribute 'noreturn' ignored}}
10 }
11
12 template<typename T>
13 struct bogus_override_if_virtual : public T {
bogus_override_if_virtualbogus_override_if_virtual14 bogus_override_if_virtual() : T(*(T*)0) { } // expected-warning {{binding dereferenced null pointer to reference has undefined behavior}}
15 int operator()() const;
16 };
17
test_quals()18 void test_quals() {
19 // This function call operator is declared const (9.3.1) if and only
20 // if the lambda- expression's parameter-declaration-clause is not
21 // followed by mutable.
22 auto l = [=](){}; // expected-note{{method is not marked volatile}}
23 const decltype(l) lc = l;
24 l();
25 lc();
26
27 auto ml = [=]() mutable{}; // expected-note{{method is not marked const}} \
28 // expected-note{{method is not marked volatile}}
29 const decltype(ml) mlc = ml;
30 ml();
31 mlc(); // expected-error{{no matching function for call to object of type}}
32
33 // It is neither virtual nor declared volatile.
34 volatile decltype(l) lv = l;
35 volatile decltype(ml) mlv = ml;
36 lv(); // expected-error{{no matching function for call to object of type}}
37 mlv(); // expected-error{{no matching function for call to object of type}}
38
39 bogus_override_if_virtual<decltype(l)> bogus; // expected-note{{in instantiation of member function 'bogus_override_if_virtual<(lambda}}
40 }
41
42 // Core issue 974: default arguments (8.3.6) may be specified in the
43 // parameter-declaration-clause of a lambda-declarator.
test_default_args()44 int test_default_args() {
45 return [](int i = 5, int j = 17) { return i+j;}(5, 6);
46 }
47
48 // Any exception-specification specified on a lambda-expression
49 // applies to the corresponding function call operator.
test_exception_spec()50 void test_exception_spec() {
51 auto tl1 = []() throw(int) {};
52 auto tl2 = []() {};
53 static_assert(!noexcept(tl1()), "lambda can throw");
54 static_assert(!noexcept(tl2()), "lambda can throw");
55
56 auto ntl1 = []() throw() {};
57 auto ntl2 = []() noexcept(true) {};
58 auto ntl3 = []() noexcept {};
59 static_assert(noexcept(ntl1()), "lambda cannot throw");
60 static_assert(noexcept(ntl2()), "lambda cannot throw");
61 static_assert(noexcept(ntl3()), "lambda cannot throw");
62 }
63
64