diff options
| author | Richard Biener <rguenther@suse.de> | 2014-02-17 14:10:42 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2014-02-17 14:10:42 +0000 |
| commit | 0492158e94e2e4dd26b9b8b9e41635ce8c64088c (patch) | |
| tree | b7504ee3c45ecf0f68d87f9919316335e1098b16 /gcc | |
| parent | ce18e2a6a18cb0952b586e39606360c38b89a7d6 (diff) | |
| download | gcc-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')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/tree-ssa.c | 6 |
2 files changed, 7 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f05956d..be303a4 100644 --- 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 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; } } } |