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. 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 { 14 bogus_override_if_virtual() : T(*(T*)0) { } 15 int operator()() const; 16 }; 17 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; 40 } 41 42 // Core issue 974: default arguments (8.3.6) may be specified in the 43 // parameter-declaration-clause of a lambda-declarator. 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. 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
