diff options
| author | Richard Biener <rguenther@suse.de> | 2021-11-24 15:57:03 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-11-25 14:23:44 +0100 |
| commit | 8addb0b1279433de1e51a5ed4eb20a71bbd76f9f (patch) | |
| tree | 54603656de051751a9016aa79f4374824b8d53b7 /gcc | |
| parent | 0fdd1804ee8ce04821110bb19c246f9d05248e22 (diff) | |
| download | gcc-8addb0b1279433de1e51a5ed4eb20a71bbd76f9f.zip gcc-8addb0b1279433de1e51a5ed4eb20a71bbd76f9f.tar.gz gcc-8addb0b1279433de1e51a5ed4eb20a71bbd76f9f.tar.bz2 | |
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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/cfgrtl.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c index e3a724b..c7ba900 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; |