procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

c++: co_await and initializer_list [PR103871]

Browse source 
When flatten_await_stmt processes the backing array for an initializer_list,
we call cp_build_modify_expr to initialize the promoted variable from the
TARGET_EXPR; that needs to be accepted.

	PR c++/103871
	PR c++/98056

gcc/cp/ChangeLog:

	* typeck.cc (cp_build_modify_expr): Allow array initialization of
	DECL_ARTIFICIAL variable.

gcc/testsuite/ChangeLog:

	* g++.dg/coroutines/co-await-initlist1.C: New test.
This commit is contained in:
Jason Merrill 2023-03-15 16:33:37 -04:00
parent 79aaba0a71
commit ea4dd8f512
2 changed files with 23 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gcc/cp/typeck.cc
View file

@ -9630,6 +9630,8 @@ cp_build_modify_expr (location_t loc, tree lhs, enum tree_code modifycode,
}
/* Allow array assignment in compiler-generated code. */
else if (DECL_P (lhs) && DECL_ARTIFICIAL (lhs))
/* OK, used by coroutines (co-await-initlist1.C). */;
else if (!current_function_decl
|| !DECL_DEFAULTED_FN (current_function_decl))
{

21
gcc/testsuite/g++.dg/coroutines/co-await-initlist1.C Normal file
View file

@ -0,0 +1,21 @@
// PR c++/103871
// { dg-do compile { target c++20 } }
#include <coroutine>
#include <initializer_list>
struct my_coro {
struct promise_type {
my_coro get_return_object();
std::suspend_never initial_suspend();
std::suspend_never final_suspend() noexcept;
void unhandled_exception();
};
};
std::suspend_never inner(std::initializer_list<int>);
my_coro doesnt_work()
{
co_await inner({ 1,2,3 });
}