[Bug rtl-optimization/78626] [7 Regression] ICE in rtl_verify_bb_insns, at cfgrtl.c:2656 (error: flow control insn inside a basic block)

[bernds at gcc dot gnu.org]

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

Bernd Schmidt <bernds at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bernds at gcc dot gnu.org,
                   |                            |segher at gcc dot gnu.org

--- Comment #1 from Bernd Schmidt <bernds at gcc dot gnu.org> ---
This appears to happen in cprop. Would anyone like to test this on ppc?

Index: cprop.c
===================================================================
--- cprop.c     (revision 242958)
+++ cprop.c     (working copy)
@@ -1047,6 +1047,10 @@
   int changed = 0, changed_this_round;
   rtx note;

+  /* We can't convert these to unconditional traps because it would invalidate
the CFG.  */
+  if (GET_CODE (PATTERN (insn)) == TRAP_IF)
+    return 0;
+
   do
     {
       changed_this_round = 0;