c++: top level bind when rewriting coroutines [PR106188]
authorArsen Arsenović <arsen@aarsen.me>
Sun, 4 Sep 2022 19:04:23 +0000 (21:04 +0200)
committerJason Merrill <jason@redhat.com>
Wed, 7 Sep 2022 14:47:49 +0000 (10:47 -0400)
commita961ad1b13b9c294d4565344912b8e35ba71b369
treea6020fff5623328c808e7debb3a74d1f6f56e729
parentcdcc27c1ca9c485c66ac1914e352c79e5048b6b5
c++: top level bind when rewriting coroutines [PR106188]

In the edge case of a coroutine not containing any locals, the ifcd/switch
temporaries would get added to the coroutine frame, corrupting its
layout. To prevent this, we can make sure there is always a BIND_EXPR at
the top of the function body, and thus, always a place for our new
temporaries to go without interfering with the coroutine frame.

PR c++/106188 - Incorrect frame layout after transforming conditional statement without top-level bind expression
PR c++/106713 - if (co_await ...) crashes with a jump to ud2

PR c++/106188
PR c++/106713

gcc/cp/ChangeLog:

* coroutines.cc (coro_rewrite_function_body): Ensure we have a
BIND_EXPR wrapping the function body.

gcc/testsuite/ChangeLog:

* g++.dg/coroutines/pr106188.C: New test.

Signed-off-by: Arsen Arsenović <arsen@aarsen.me>
gcc/cp/coroutines.cc
gcc/testsuite/g++.dg/coroutines/pr106188.C [new file with mode: 0644]