diff options
| author | Steven Bosscher <steven@gcc.gnu.org> | 2012-10-31 21:37:10 +0000 |
|---|---|---|
| committer | Steven Bosscher <steven@gcc.gnu.org> | 2012-10-31 21:37:10 +0000 |
| commit | 03b06a83441cac588cf04f494915ffd3868a9bed (patch) | |
| tree | 457138650afbcc0d91ef7e60a9f2ca4718a4b83d /gcc/basic-block.h | |
| parent | e212c7f56c62dc492e7d2af6d55636d19229d114 (diff) | |
| download | gcc-03b06a83441cac588cf04f494915ffd3868a9bed.zip gcc-03b06a83441cac588cf04f494915ffd3868a9bed.tar.gz gcc-03b06a83441cac588cf04f494915ffd3868a9bed.tar.bz2 | |
re PR tree-optimization/55018 (CDDCE pass is too aggressive sometimes with infinite loops and with some functions)
gcc/
PR tree-optimization/55018
* basic-block.h (dfs_find_deadend): New prototype.
* cfganal.c (dfs_find_deadend): No longer static. Use bitmap
instead of sbitmap for visited.
(flow_dfs_compute_reverse_execute): Use dfs_find_deadend here, too.
* dominance.c (calc_dfs_tree): If saw_unconnected,
traverse from dfs_find_deadend of unconnected b
instead of b directly.
testsuite/
PR tree-optimization/55018
* gcc.dg/torture/pr55018.c: New test.
Co-Authored-By: Jakub Jelinek <jakub@redhat.com>
From-SVN: r193047
Diffstat (limited to 'gcc/basic-block.h')
| -rw-r--r-- | gcc/basic-block.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/basic-block.h b/gcc/basic-block.h index d9bd3b7..b28c443 100644 --- a/gcc/basic-block.h +++ b/gcc/basic-block.h @@ -787,6 +787,7 @@ extern void remove_fake_exit_edges (void); extern void add_noreturn_fake_exit_edges (void); extern void connect_infinite_loops_to_exit (void); extern int post_order_compute (int *, bool, bool); +extern basic_block dfs_find_deadend (basic_block); extern int inverted_post_order_compute (int *); extern int pre_and_rev_post_order_compute (int *, int *, bool); extern int dfs_enumerate_from (basic_block, int, |