Re: Handle redirection blocks with clobbers

2015-04-20 Thread Jeff Law
On 04/20/2015 11:19 AM, Jakub Jelinek wrote: On Mon, Apr 20, 2015 at 11:14:03AM -0600, Jeff Law wrote: while (!gsi_end_p (gsi) && (gimple_code (gsi_stmt (gsi)) == GIMPLE_LABEL || is_gimple_debug (gsi_stmt (gsi)) -|| gimple_nop_p (gsi_stmt (gsi +

Re: Handle redirection blocks with clobbers

2015-04-20 Thread Jeff Law
On 04/20/2015 11:19 AM, Jakub Jelinek wrote: On Mon, Apr 20, 2015 at 11:14:03AM -0600, Jeff Law wrote: while (!gsi_end_p (gsi) && (gimple_code (gsi_stmt (gsi)) == GIMPLE_LABEL || is_gimple_debug (gsi_stmt (gsi)) -|| gimple_nop_p (gsi_stmt (gsi +

Re: Handle redirection blocks with clobbers

2015-04-20 Thread Jakub Jelinek
On Mon, Apr 20, 2015 at 11:14:03AM -0600, Jeff Law wrote: >while (!gsi_end_p (gsi) >&& (gimple_code (gsi_stmt (gsi)) == GIMPLE_LABEL >|| is_gimple_debug (gsi_stmt (gsi)) > - || gimple_nop_p (gsi_stmt (gsi > + || gimple_nop_p (gsi_stmt (gsi)) > +

Handle redirection blocks with clobbers

2015-04-20 Thread Jeff Law
PR 65658 shows a case where we fail to thread jumps in a block that is trivially threadable and would generate no code if threaded. That in turn results in inefficient code and a false positive from -Wuninitialized. The problem is the problem block has a clobber statement and redirection_bl