OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

c++: DR 1722: Make lambda to function pointer conv noexcept [PR90583]

Browse Source 
DR 1722 clarifies that the conversion function from lambda to pointer to
function should be noexcept(true).

gcc/cp/ChangeLog:

	PR c++/90583
	DR 1722
	* lambda.c (maybe_add_lambda_conv_op): Mark the conversion function
	as noexcept.

gcc/testsuite/ChangeLog:

	PR c++/90583
	DR 1722
	* g++.dg/cpp0x/lambda/lambda-conv14.C: New test.
This commit is contained in:
Marek Polacek 2020-09-21 13:24:25 -04:00
parent 7029dfa38b
commit defceb206b
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/cp/lambda.c
View File

@ -1189,6 +1189,8 @@ maybe_add_lambda_conv_op (tree type)
tree name = make_conv_op_name (rettype);
tree thistype = cp_build_qualified_type (type, TYPE_QUAL_CONST);
tree fntype = build_method_type_directly (thistype, rettype, void_list_node);
/* DR 1722: The conversion function should be noexcept. */
fntype = build_exception_variant (fntype, noexcept_true_spec);
tree convfn = build_lang_decl (FUNCTION_DECL, name, fntype);
SET_DECL_LANGUAGE (convfn, lang_cplusplus);
tree fn = convfn;

10
gcc/testsuite/g++.dg/cpp0x/lambda/lambda-conv14.C Normal file
View File

@ -0,0 +1,10 @@
// PR c++/90583
// DR 1722: Lambda to function pointer conversion should be noexcept.
// { dg-do compile { target c++11 } }
void
foo ()
{
auto l = [](int){ return 42; };
static_assert(noexcept((int (*)(int))(l)), "");
}