diff options
| author | Steven Bosscher <steven@gcc.gnu.org> | 2012-11-08 21:47:50 +0000 |
|---|---|---|
| committer | Steven Bosscher <steven@gcc.gnu.org> | 2012-11-08 21:47:50 +0000 |
| commit | d7bd989c6d7af3c2c77c0022a1dc4c4438b8810d (patch) | |
| tree | ca1b207002e81b12401d7342ca360d8f53c065f0 /gcc/cfganal.c | |
| parent | 2a86dbb79b72e3662aea66873888df6923d06472 (diff) | |
| download | gcc-d7bd989c6d7af3c2c77c0022a1dc4c4438b8810d.zip gcc-d7bd989c6d7af3c2c77c0022a1dc4c4438b8810d.tar.gz gcc-d7bd989c6d7af3c2c77c0022a1dc4c4438b8810d.tar.bz2 | |
re PR tree-optimization/55191 (ICE in compute_antic at tree-ssa-pre.c:2511)
gcc/
PR tree-optimization/55191
* cfganal.c (connect_infinite_loops_to_exit): Call dfs_deadend here.
(flow_dfs_compute_reverse_execute): Don't call it here.
testsuite/
PR tree-optimization/55191
* gcc.dg/pr55191.c: New test.
From-SVN: r193341
Diffstat (limited to 'gcc/cfganal.c')
| -rw-r--r-- | gcc/cfganal.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/cfganal.c b/gcc/cfganal.c index 214e468..7a76c60 100644 --- a/gcc/cfganal.c +++ b/gcc/cfganal.c @@ -452,6 +452,7 @@ void connect_infinite_loops_to_exit (void) { basic_block unvisited_block = EXIT_BLOCK_PTR; + basic_block deadend_block; struct depth_first_search_dsS dfs_ds; /* Perform depth-first search in the reverse graph to find nodes @@ -467,8 +468,9 @@ connect_infinite_loops_to_exit (void) if (!unvisited_block) break; - make_edge (unvisited_block, EXIT_BLOCK_PTR, EDGE_FAKE); - flow_dfs_compute_reverse_add_bb (&dfs_ds, unvisited_block); + deadend_block = dfs_find_deadend (unvisited_block); + make_edge (deadend_block, EXIT_BLOCK_PTR, EDGE_FAKE); + flow_dfs_compute_reverse_add_bb (&dfs_ds, deadend_block); } flow_dfs_compute_reverse_finish (&dfs_ds); @@ -958,7 +960,7 @@ flow_dfs_compute_reverse_execute (depth_first_search_ds data, /* Determine if there are unvisited basic blocks. */ FOR_BB_BETWEEN (bb, last_unvisited, NULL, prev_bb) if (!bitmap_bit_p (data->visited_blocks, bb->index)) - return dfs_find_deadend (bb); + return bb; return NULL; } |