aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-ssa.c
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2014-02-17 14:10:42 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2014-02-17 14:10:42 +0000
commit0492158e94e2e4dd26b9b8b9e41635ce8c64088c (patch)
treeb7504ee3c45ecf0f68d87f9919316335e1098b16 /gcc/tree-ssa.c
parentce18e2a6a18cb0952b586e39606360c38b89a7d6 (diff)
downloadgcc-0492158e94e2e4dd26b9b8b9e41635ce8c64088c.zip
gcc-0492158e94e2e4dd26b9b8b9e41635ce8c64088c.tar.gz
gcc-0492158e94e2e4dd26b9b8b9e41635ce8c64088c.tar.bz2
tree-ssa.c (verify_ssa): If verify_def found an error, ICE.
2014-02-17 Richard Biener <rguenther@suse.de> * tree-ssa.c (verify_ssa): If verify_def found an error, ICE. From-SVN: r207824
Diffstat (limited to 'gcc/tree-ssa.c')
-rw-r--r--gcc/tree-ssa.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index 4a775fc..20f061f 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;
}
}
}