diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-04-23 12:47:02 +0000 |
|---|---|---|
| committer | Richard Guenther <rguenther@suse.de> | 2012-04-23 12:47:02 +0000 |
| commit | 35e3b9598e44cab316cc12c41e69c7175d62f8f2 (patch) | |
| tree | 603ede60be182900d1365ef137b34a8706d22f20 /gcc/tree-if-conv.c | |
| parent | 45328b240ac732519beaf6877427bfc92fafe409 (diff) | |
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.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@186704 138bc75d-0d04-0410-961f-82ee72b054a4
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; } |