[Bug rtl-optimization/116053] [14/15/16 Regression] during RTL pass: cprop_hardreg ICE: verify_flow_info failed: missing REG_EH_REGION note at the end of bb 2 with -O1 -finstrument-functions -fno-forward-propagate -fno-delete-dead-exceptions -fnon-call-exceptions

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116053

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot 
gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
[apinski@xeond2 gcc]$ git diff
diff --git a/gcc/regcprop.cc b/gcc/regcprop.cc
index cc0a877a85d..e884cb5a966 100644
--- a/gcc/regcprop.cc
+++ b/gcc/regcprop.cc
@@ -862,7 +862,7 @@ copyprop_hardreg_forward_1 (basic_block bb, struct
value_data *vd)
          && !side_effects_p (SET_DEST (set)))
        {
          bool last = insn == BB_END (bb);
-         delete_insn (insn);
+         delete_insn_and_edges (insn);
          if (last)
            break;
          continue;


Now to figure out if why delete_insn_and_edges is there in the first place. But
looks correct.