From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1666) id 1FA003858434; Thu, 25 Nov 2021 13:24:31 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 1FA003858434 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Richard Biener To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-5519] Continue RTL verifying in rtl_verify_fallthru X-Act-Checkin: gcc X-Git-Author: Richard Biener X-Git-Refname: refs/heads/master X-Git-Oldrev: 0fdd1804ee8ce04821110bb19c246f9d05248e22 X-Git-Newrev: 8addb0b1279433de1e51a5ed4eb20a71bbd76f9f Message-Id: <20211125132431.1FA003858434@sourceware.org> Date: Thu, 25 Nov 2021 13:24:31 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 25 Nov 2021 13:24:31 -0000 https://gcc.gnu.org/g:8addb0b1279433de1e51a5ed4eb20a71bbd76f9f commit r12-5519-g8addb0b1279433de1e51a5ed4eb20a71bbd76f9f Author: Richard Biener 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 * 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;