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,