From: Richard Biener <rguenther@suse.de>
Date: Wed, 24 Nov 2021 14:57:03 +0000 (+0100)
Subject: Continue RTL verifying in rtl_verify_fallthru
X-Git-Tag: basepoints/gcc-13~2794
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=8addb0b1279433de1e51a5ed4eb20a71bbd76f9f;p=thirdparty%2Fgcc.git

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 e3a724bddb45..c7ba9006b4e2 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;