Re: [PATCH] Remove verify_no_unreachable_blocks

[Steven Bosscher]

On Thu, Aug 23, 2018 at 1:18 PM Richard Biener <> wrote:
> -/* Verify that there are no unreachable blocks in the current function.  */
> -
> -void
> -verify_no_unreachable_blocks (void)
> -{
> -  find_unreachable_blocks ();
> -
> -  basic_block bb;
> -  FOR_EACH_BB_FN (bb, cfun)
> -    gcc_assert ((bb->flags & BB_REACHABLE) != 0);

Alternatively, just clear BB_REACHABLE here?

  FOR_EACH_BB_FN (bb, cfun)
    {
      gcc_assert ((bb->flags & BB_REACHABLE) != 0);
      bb->flags &= ~BB_REACHABLE;
    }

The function is quite useful for debugging, I wouldn't remove it.

Ciao!
Steven