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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f05956d62ab016ebfdc34239a1576a3dc9d0818b..be303a4f967267c63089c745fbfad220773374de 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2014-02-17  Richard Biener  <rguenther@suse.de>
+
+       * tree-ssa.c (verify_ssa): If verify_def found an error, ICE.
+
 2014-02-17  Kirill Yukhin  <kirill.yukhin@intel.com>
            Ilya Tocar  <ilya.tocar@intel.com>
 

diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index 4a775fceb1c3b056d29ae02a6d91cd7c33d9e93d..20f061ffaf0c7ee56d51d00e7ce44d2f1f7e3bec 100644 (file)
--- 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;
            }
        }
     }