https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99046
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Last reconfirmed| |2021-02-10 Status|UNCONFIRMED |NEW --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- The issue is that most passes (including LIM) are not set up to move the EH side-effects of stmts so they simply give up. It's true that whether const implies nothrow is debatable but we definitely have two independent bits in the middle-end.