https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108691
--- Comment #15 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:1dd033b8bcb0c50ad80084a3a13a391808b2deb6 commit r13-6259-g1dd033b8bcb0c50ad80084a3a13a391808b2deb6 Author: Richard Biener <rguent...@suse.de> Date: Tue Feb 21 13:02:31 2023 +0100 tree-optimization/108691 - remove trigger-happy assert The following gets rid of the idea that we should prevent setjmp like calls from popping up in uncontrolled way in the IL for now. The solution is probably to handle it similar as noreturn has the ctrl-altering flag on stmts, but use another flag, for example ctrl-receiving which would also make sure the stmt is first. PR tree-optimization/108691 * tree-ssa-dce.cc (eliminate_unnecessary_stmts): Remove assert about calls_setjmp not becoming true when it was false. * gcc.dg/pr108691.c: New testcase.