diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-04-23 12:47:02 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-04-23 12:47:02 +0000 |
| commit | c6542175665ad1474131efc6292234b1a5e705c2 (patch) | |
| tree | 603ede60be182900d1365ef137b34a8706d22f20 /gcc/tree-if-conv.c | |
| parent | 9771644a91afe5c53b0433eaedb1d9976f77d856 (diff) | |
| download | gcc-c6542175665ad1474131efc6292234b1a5e705c2.tar.gz | |
re PR tree-optimization/53070 (ICE: in execute_cse_reciprocals, at tree-ssa-math-opts.c:513 with -O -ffast-math -ftree-loop-if-convert -fno-tree-loop-im)
2012-04-23 Richard Guenther <rguenther@suse.de>
PR tree-optimization/53070
* tree-if-conv.c (combine_blocks): Free predicates in all blocks.
(main_tree_if_conversion): Verify we succeeded in that.
* gcc.dg/torture/pr53070.c: New testcase.
From-SVN: r186704
Diffstat (limited to 'gcc/tree-if-conv.c')
| -rw-r--r-- | gcc/tree-if-conv.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/tree-if-conv.c b/gcc/tree-if-conv.c index 31bb610af08..d8e23a43672 100644 --- a/gcc/tree-if-conv.c +++ b/gcc/tree-if-conv.c @@ -1651,8 +1651,8 @@ combine_blocks (struct loop *loop) free_bb_predicate (bb); if (bb_with_exit_edge_p (loop, bb)) { + gcc_assert (exit_bb == NULL); exit_bb = bb; - break; } } gcc_assert (exit_bb != loop->latch); @@ -1779,6 +1779,7 @@ main_tree_if_conversion (void) struct loop *loop; bool changed = false; unsigned todo = 0; + basic_block bb; if (number_of_loops () <= 1) return 0; @@ -1794,6 +1795,11 @@ main_tree_if_conversion (void) free_dominance_info (CDI_POST_DOMINATORS); +#ifdef ENABLE_CHECKING + FOR_EACH_BB (bb) + gcc_assert (!bb->aux); +#endif + return todo; } |