[Bug c++/106713] [11/12/13 Regression] Coroutine regression in GCC 11.3.0: if (co_await ...) crashes with a jump to ud2 since r12-3529-g70ee703c479081ac

[Bug c++/106713] [11/12/13 Regression] Coroutine regression in GCC 11.3.0: if (co_await ...) crashes with a jump to ud2 since r12-3529-g70ee703c479081ac

[gcc-bugzilla at decltype dot org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106713

Pablo Busse <gcc-bugzilla at decltype dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gcc-bugzilla at decltype dot org

--- Comment #4 from Pablo Busse <gcc-bugzilla at decltype dot org> ---
Duplicate of https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106188.

[Bug c++/106713] [11/12/13 Regression] Coroutine regression in GCC 11.3.0: if (co_await ...) crashes with a jump to ud2 since r12-3529-g70ee703c479081ac

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106713

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jason Merrill <jason@gcc.gnu.org>:

https://gcc.gnu.org/g:a961ad1b13b9c294d4565344912b8e35ba71b369

commit r13-2524-ga961ad1b13b9c294d4565344912b8e35ba71b369
Author: Arsen ArsenoviÄ <arsen@aarsen.me>
Date:   Sun Sep 4 21:04:23 2022 +0200

    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>

[Bug c++/106713] [11/12 Regression] Coroutine regression in GCC 11.3.0: if (co_await ...) crashes with a jump to ud2 since r12-3529-g70ee703c479081ac

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106713

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[11/12/13 Regression]       |[11/12 Regression]
                   |Coroutine regression in GCC |Coroutine regression in GCC
                   |11.3.0: if (co_await ...)   |11.3.0: if (co_await ...)
                   |crashes with a jump to ud2  |crashes with a jump to ud2
                   |since                       |since
                   |r12-3529-g70ee703c479081ac  |r12-3529-g70ee703c479081ac
           Keywords|                            |C++-coroutines
      Known to work|                            |13.0
           Priority|P3                          |P2

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk I suppose?

[Bug c++/106713] [11/12 Regression] Coroutine regression in GCC 11.3.0: if (co_await ...) crashes with a jump to ud2 since r12-3529-g70ee703c479081ac

[arsen at aarsen dot me]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106713

--- Comment #7 from Arsen Arsenović <arsen at aarsen dot me> ---
Yes, this and https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106188 both.

[Bug c++/106713] [11/12 Regression] Coroutine regression in GCC 11.3.0: if (co_await ...) crashes with a jump to ud2 since r12-3529-g70ee703c479081ac

[arsen at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106713

Arsen Arsenović <arsen at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #8 from Arsen Arsenović <arsen at gcc dot gnu.org> ---
Should be fixed on all branches.