This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: PATCH: small -freorder-block defect
- To: Jason Eckhardt <jle at cygnus dot com>
- Subject: Re: PATCH: small -freorder-block defect
- From: Richard Henderson <rth at cygnus dot com>
- Date: Tue, 14 Mar 2000 00:06:47 -0800
- Cc: gcc-patches at gcc dot gnu dot org
- References: <200003130322.TAA25456@cse.cygnus.com>
On Sun, Mar 12, 2000 at 07:22:07PM -0800, Jason Eckhardt wrote:
> ! verify_flow_info ();
> ! {
> ! rtx x;
> ! for (x = get_insns(); x; x = NEXT_INSN (x))
> ! {
> ! if (GET_RTX_CLASS (GET_CODE (x)) == 'i'
> ! && GET_CODE (x) == JUMP_INSN
> ! && returnjump_p (x)
> ! && ! (NEXT_INSN (x) && GET_CODE (NEXT_INSN (x)) == BARRIER))
> ! error ("reorder_basic_blocks: RETURN not followed by BARRIER!\n");
> ! }
Put this check in verify_flow_info. And we should abort rather
than emit an error.
r~