This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH] Properly ICE when verify_def found an error
- From: Richard Biener <rguenther at suse dot de>
- To: gcc-patches at gcc dot gnu dot org
- Date: Mon, 17 Feb 2014 14:44:55 +0100 (CET)
- Subject: [PATCH] Properly ICE when verify_def found an error
- Authentication-results: sourceware.org; auth=none
This adds the missing branch to err.
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.
Richard.
2014-02-17 Richard Biener <rguenther@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;
}
}
}