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)) > + || (gimple_code (gsi_stmt (gsi)) == GIMPLE_ASSIGN
Why this line? There is no need to test for GIMPLE_ASSIGN (and canonical test for that would be is_gimple_assign (gsi_stmt (gsi)) anyway), > + && gimple_clobber_p (gsi_stmt (gsi))))) gimple_clobber_p checks for that too. Jakub