Re: [PATCH] Remove verify_no_unreachable_blocks

2018-08-23 Thread Tom de Vries
On 08/23/2018 02:06 PM, Richard Biener wrote: > On Thu, 23 Aug 2018, Tom de Vries wrote: > >> On 08/23/2018 01:18 PM, Richard Biener wrote: >>> This removes verify_no_unreachable_blocks and implements checking >>> for unreachable blocks in inverted_post_order_compute by simply >>> looking if we re

Re: [PATCH] Remove verify_no_unreachable_blocks

2018-08-23 Thread Richard Biener
On Thu, 23 Aug 2018, Tom de Vries wrote: > On 08/23/2018 01:18 PM, Richard Biener wrote: > > This removes verify_no_unreachable_blocks and implements checking > > for unreachable blocks in inverted_post_order_compute by simply > > looking if we reach a block without predecessors that is not the >

Re: [PATCH] Remove verify_no_unreachable_blocks

2018-08-23 Thread Tom de Vries
On 08/23/2018 01:18 PM, Richard Biener wrote: > This removes verify_no_unreachable_blocks and implements checking > for unreachable blocks in inverted_post_order_compute by simply > looking if we reach a block without predecessors that is not the > entry block. > I think that doesn't detect unrea

Re: [PATCH] Remove verify_no_unreachable_blocks

2018-08-23 Thread Richard Biener
On Thu, 23 Aug 2018, Steven Bosscher wrote: > 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 (); > > - > > - ba

Re: [PATCH] Remove verify_no_unreachable_blocks

2018-08-23 Thread 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