https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61772
--- Comment #1 from Michael Matz <matz at gcc dot gnu.org> --- Created attachment 33102 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33102&action=edit Patch Possible patch for the problem. There are many predicates for testing various forms of jump, after pondering and reading the comments about various of them being deprecated, or leaving through only very specific forms of jumps I think that onlyjump_p is the best one (it only rejects jumps with additional non-dead side-effects).