https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95517
Iain Sandoe <iains at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Target Milestone|--- |11.0
Last reconfirmed| |2020-06-04
Severity|normal |enhancement
Assignee|unassigned at gcc dot gnu.org |iains at gcc dot gnu.org
Status|UNCONFIRMED |ASSIGNED
--- Comment #1 from Iain Sandoe <iains at gcc dot gnu.org> ---
Generally, it's not required to diagnose UB, however I think we can do better
with the co_return/return stuff and have some ideas in mind already. So, yes
this a good idea,