From 0492158e94e2e4dd26b9b8b9e41635ce8c64088c Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Mon, 17 Feb 2014 14:10:42 +0000 Subject: [PATCH] tree-ssa.c (verify_ssa): If verify_def found an error, ICE. 2014-02-17 Richard Biener * tree-ssa.c (verify_ssa): If verify_def found an error, ICE. From-SVN: r207824 --- gcc/ChangeLog | 4 ++++ gcc/tree-ssa.c | 6 +++--- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f05956d62ab..be303a4f967 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2014-02-17 Richard Biener + + * tree-ssa.c (verify_ssa): If verify_def found an error, ICE. + 2014-02-17 Kirill Yukhin Ilya Tocar diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 4a775fceb1c..20f061ffaf0 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -988,9 +988,9 @@ verify_ssa (bool check_modified_stmt) if (!gimple_nop_p (stmt)) { basic_block bb = gimple_bb (stmt); - verify_def (bb, definition_block, - name, stmt, virtual_operand_p (name)); - + if (verify_def (bb, definition_block, + name, stmt, virtual_operand_p (name))) + goto err; } } } -- 2.11.4.GIT