diff options
| author | Arsen Arsenović <arsen@aarsen.me> | 2022-09-04 21:04:23 +0200 |
|---|---|---|
| committer | Jason Merrill <jason@redhat.com> | 2022-09-07 10:47:49 -0400 |
| commit | a961ad1b13b9c294d4565344912b8e35ba71b369 (patch) | |
| tree | a6020fff5623328c808e7debb3a74d1f6f56e729 /gcc/value-range.h | |
| parent | cdcc27c1ca9c485c66ac1914e352c79e5048b6b5 (diff) | |
| download | gcc-a961ad1b13b9c294d4565344912b8e35ba71b369.zip gcc-a961ad1b13b9c294d4565344912b8e35ba71b369.tar.gz gcc-a961ad1b13b9c294d4565344912b8e35ba71b369.tar.bz2 | |
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>
Diffstat (limited to 'gcc/value-range.h')
0 files changed, 0 insertions, 0 deletions