Continue RTL verifying in rtl_verify_fallthru

One case used fatal_insn which does not return which isn't
intended as can be seen by the following erro = 1.  The following
change refactors this to inline the relevant parts of fatal_insn
instead and continue validating the RTL IL.

2021-11-25  Richard Biener  <rguenther@suse.de>

	* cfgrtl.c (rtl_verify_fallthru): Do not stop verifying
	with fatal_insn.
	(skip_insns_after_block): Remove unreachable break and continue.

diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c
index e3a724b..c7ba900 100644 (file)
--- a/gcc/cfgrtl.c
+++ b/gcc/cfgrtl.c
@@ -3001,7 +3001,8 @@ rtl_verify_fallthru (void)
                {
                  error ("verify_flow_info: Incorrect fallthru %i->%i",
                         e->src->index, e->dest->index);
-                 fatal_insn ("wrong insn in the fallthru edge", insn);
+                 error ("wrong insn in the fallthru edge");
+                 debug_rtx (insn);
                  err = 1;
                }
        }
@@ -3540,10 +3541,8 @@ skip_insns_after_block (basic_block bb)
            {
            case NOTE_INSN_BLOCK_END:
              gcc_unreachable ();
-             continue;
            default:
              continue;
-             break;
            }
          break;