[PATCH] Properly ICE when verify_def found an error

[Richard Biener]

This adds the missing branch to err.

Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.

Richard.

2014-02-17  Richard Biener  <rguent...@suse.de>

        * tree-ssa.c (verify_ssa): If verify_def found an error, ICE.

Index: gcc/tree-ssa.c
===================================================================
*** gcc/tree-ssa.c      (revision 207819)
--- gcc/tree-ssa.c      (working copy)
*************** verify_ssa (bool check_modified_stmt)
*** 988,996 ****
          if (!gimple_nop_p (stmt))
            {
              basic_block bb = gimple_bb (stmt);
!             verify_def (bb, definition_block,
!                         name, stmt, virtual_operand_p (name));
! 
            }
        }
      }
--- 1006,1014 ----
          if (!gimple_nop_p (stmt))
            {
              basic_block bb = gimple_bb (stmt);
!             if (verify_def (bb, definition_block,
!                             name, stmt, virtual_operand_p (name)))
!               goto err;
            }
        }
      }