diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index bb77e0b42ab..7e9c0e2642a 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2018-11-04 Jason Merrill + + PR c++/60503 - wrong lambda attribute syntax. + * parser.c (cp_parser_lambda_declarator_opt): Fix attribute + handling. + 2018-11-02 Nathan Sidwell * decl.c (duplicate_decls): Refactor checks. diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c index d01c92431ef..5ea8e8ca012 100644 --- a/gcc/cp/parser.c +++ b/gcc/cp/parser.c @@ -10596,8 +10596,6 @@ cp_parser_lambda_declarator_opt (cp_parser* parser, tree lambda_expr) parens.require_close (parser); - attributes = cp_parser_attributes_opt (parser); - /* In the decl-specifier-seq of the lambda-declarator, each decl-specifier shall either be mutable or constexpr. */ int declares_class_or_enum; @@ -10618,6 +10616,8 @@ cp_parser_lambda_declarator_opt (cp_parser* parser, tree lambda_expr) /* Parse optional exception specification. */ exception_spec = cp_parser_exception_specification_opt (parser); + attributes = cp_parser_std_attribute_spec_seq (parser); + /* Parse optional trailing return type. */ if (cp_lexer_next_token_is (parser->lexer, CPP_DEREF)) { @@ -10668,15 +10668,14 @@ cp_parser_lambda_declarator_opt (cp_parser* parser, tree lambda_expr) REF_QUAL_NONE, tx_qual, exception_spec, - /*late_return_type=*/NULL_TREE, + return_type, /*requires_clause*/NULL_TREE); declarator->id_loc = LAMBDA_EXPR_LOCATION (lambda_expr); - if (return_type) - declarator->u.function.late_return_type = return_type; + declarator->std_attributes = attributes; fco = grokmethod (&return_type_specs, declarator, - attributes); + NULL_TREE); if (fco != error_mark_node) { DECL_INITIALIZED_IN_CLASS_P (fco) = 1; diff --git a/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-attr1.C b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-attr1.C new file mode 100644 index 00000000000..9aa6506d5ed --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-attr1.C @@ -0,0 +1,3 @@ +// { dg-do compile { target c++11 } } + +auto l = []() [[noreturn]] {}; // { dg-warning "ignored" } diff --git a/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-attr2.C b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-attr2.C new file mode 100644 index 00000000000..82d88f370c4 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-attr2.C @@ -0,0 +1,5 @@ +// PR c++/60503 +// { dg-do compile { target c++11 } } + +auto l = []() mutable noexcept [[ ]] {}; +auto m = []() [[ ]] mutable noexcept {}; // { dg-error "" }