diff options
| author | Richard Biener <rguenther@suse.de> | 2014-08-11 10:55:10 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2014-08-11 10:55:10 +0000 |
| commit | 5f732aeb8ebbe04e9912faa497093dd91e8dc898 (patch) | |
| tree | 9bda3fd7b5d95eec74c75ea39abbb9b4f9d2ec1f /gcc/tree-ssa-loop-manip.c | |
| parent | 5ff0f237a4e33e38c09e3e7242e5a7fd9c588793 (diff) | |
| download | gcc-5f732aeb8ebbe04e9912faa497093dd91e8dc898.zip gcc-5f732aeb8ebbe04e9912faa497093dd91e8dc898.tar.gz gcc-5f732aeb8ebbe04e9912faa497093dd91e8dc898.tar.bz2 | |
re PR tree-optimization/62070 (ICE: verify_ssa failed)
2014-08-11 Richard Biener <rguenther@suse.de>
PR tree-optimization/62070
* tree-ssa-loop-manip.c (gimple_duplicate_loop_to_header_edge):
Remove SSA checking.
* gcc.dg/pr62070.c: New testcase.
From-SVN: r213810
Diffstat (limited to 'gcc/tree-ssa-loop-manip.c')
| -rw-r--r-- | gcc/tree-ssa-loop-manip.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/gcc/tree-ssa-loop-manip.c b/gcc/tree-ssa-loop-manip.c index 6de2e4e..ac96936 100644 --- a/gcc/tree-ssa-loop-manip.c +++ b/gcc/tree-ssa-loop-manip.c @@ -761,17 +761,6 @@ gimple_duplicate_loop_to_header_edge (struct loop *loop, edge e, if (!loops_state_satisfies_p (LOOPS_HAVE_PREHEADERS)) return false; -#ifdef ENABLE_CHECKING - /* ??? This forces needless update_ssa calls after processing each - loop instead of just once after processing all loops. We should - instead verify that loop-closed SSA form is up-to-date for LOOP - only (and possibly SSA form). For now just skip verifying if - there are to-be renamed variables. */ - if (!need_ssa_update_p (cfun) - && loops_state_satisfies_p (LOOP_CLOSED_SSA)) - verify_loop_closed_ssa (true); -#endif - first_new_block = last_basic_block_for_fn (cfun); if (!duplicate_loop_to_header_edge (loop, e, ndupl, wont_exit, orig, to_remove, flags)) |