[gcc r12-5519] Continue RTL verifying in rtl_verify_fallthru

[gcc r12-5519] Continue RTL verifying in rtl_verify_fallthru

[Richard Biener]

https://gcc.gnu.org/g:8addb0b1279433de1e51a5ed4eb20a71bbd76f9f

commit r12-5519-g8addb0b1279433de1e51a5ed4eb20a71bbd76f9f
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Nov 24 15:57:03 2021 +0100

    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:
---
 gcc/cfgrtl.c | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c
index e3a724bddb4..c7ba9006b4e 100644
--- 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;