https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109323
Arsen Arsenović <arsen at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Last reconfirmed|2023-03-28 00:00:00 |2024-07-16
Keywords| |diagnostic
CC| |arsen at gcc dot gnu.org
--- Comment #6 from Arsen Arsenović <arsen at gcc dot gnu.org> ---
clang does not diagnose this, MSVC does. I suspect it's an oversight and that
we should provide a diagnostic as MSVC does (but probably need to ask for
clarification).
(In reply to Enrico Maria De Angelis from comment #4)
> The more I read the standard, specifically
> http://eel.is/c++draft/dcl.fct.def.coroutine#6 and
> http://eel.is/c++draft/stmt.return.coroutine, the more I'm convinced that
> it's just fine that a coroutine's promise_type lacks both return_void and
> return_value, as long as it has no co_return and the execution never flows
> off the end of the coroutine itself.
is it possible to implement any correct terminating coroutine within those
restrictions?
