diff options
| author | Richard Biener <rguenther@suse.de> | 2018-09-12 12:14:27 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2018-09-12 12:14:27 +0000 |
| commit | 28c4b740a64ccc3412ef4c01e3012e9013ad5bcb (patch) | |
| tree | 23d4dadbe109d288896bf34415de7f06aa27d124 /gcc/tree-ssa-sccvn.c | |
| parent | ced8d882349226b8c566914826e8f59961240ad1 (diff) | |
| download | gcc-28c4b740a64ccc3412ef4c01e3012e9013ad5bcb.zip gcc-28c4b740a64ccc3412ef4c01e3012e9013ad5bcb.tar.gz gcc-28c4b740a64ccc3412ef4c01e3012e9013ad5bcb.tar.bz2 | |
re PR tree-optimization/87266 (ICE: Segmentation fault (in useless_type_conversion_p, tree_nop_conversion_p, or is_gimple_reg_type))
2018-09-12 Richard Biener <rguenther@suse.de>
PR tree-optimization/87266
* tree-ssa-sccvn.c (do_rpo_vn): Always iterate to not yet
visited blocks.
* gcc.dg/torture/pr87266-1.c: New testcase.
* gcc.dg/torture/pr87266-2.c: Likewise.
* gcc.dg/torture/pr87266-3.c: Likewise.
* gcc.dg/torture/pr87266-4.c: Likewise.
From-SVN: r264237
Diffstat (limited to 'gcc/tree-ssa-sccvn.c')
| -rw-r--r-- | gcc/tree-ssa-sccvn.c | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index 6fec624..8bf724e 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -6471,6 +6471,17 @@ do_rpo_vn (function *fn, edge entry, bitmap exit_bbs, == (EDGE_DFS_BACK|EDGE_EXECUTABLE) && rpo_state[bb_to_rpo[e->dest->index]].iterate) { + int destidx = bb_to_rpo[e->dest->index]; + if (!rpo_state[destidx].visited) + { + if (dump_file && (dump_flags & TDF_DETAILS)) + fprintf (dump_file, "Unvisited destination %d\n", + e->dest->index); + if (iterate_to == -1 + || destidx < iterate_to) + iterate_to = destidx; + continue; + } if (dump_file && (dump_flags & TDF_DETAILS)) fprintf (dump_file, "Looking for changed values of backedge " "%d->%d destination PHIs\n", @@ -6497,7 +6508,6 @@ do_rpo_vn (function *fn, edge entry, bitmap exit_bbs, && dump_file && (dump_flags & TDF_DETAILS)) fprintf (dump_file, "PHI was CSEd and hashtable " "state (changed)\n"); - int destidx = bb_to_rpo[e->dest->index]; if (iterate_to == -1 || destidx < iterate_to) iterate_to = destidx; |