https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79386
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- --- cprop.c.jj2 2017-01-30 09:31:48.000000000 +0100 +++ cprop.c 2017-02-06 14:09:24.316978439 +0100 @@ -1697,7 +1697,6 @@ bypass_conditional_jumps (void) if (ENTRY_BLOCK_PTR_FOR_FN (cfun)->next_bb == EXIT_BLOCK_PTR_FOR_FN (cfun)) return 0; - bypass_last_basic_block = last_basic_block_for_fn (cfun); mark_dfs_back_edges (); changed = 0; @@ -1863,6 +1862,8 @@ one_cprop_pass (void) } } + bypass_last_basic_block = last_basic_block_for_fn (cfun); + while (!uncond_traps.is_empty ()) { rtx_insn *insn = uncond_traps.pop (); fixes the ICE, the basic blocks after the unconditional traps should be dead code, so no point in transforming anything in those anyway.