diff options
author | Richard Biener <rguenther@suse.de> | 2017-06-26 10:33:12 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-06-26 10:33:12 +0000 |
commit | 75f0112f1bb9b671ff4679ec6802bf1cee6696c0 (patch) | |
tree | 6aa64a005590567f446a5ee63fd6607828b8e23e /gcc/tree-tailcall.c | |
parent | 3e2becc495c2ed8e48b055707430c8204826d7bf (diff) |
re PR tree-optimization/81203 (tail recursion: internal compiler error: verify_ssa failed)
2017-06-26 Richard Biener <rguenther@suse.de>
PR tree-optimization/81203
* tree-tailcall.c (find_tail_calls): Do not move stmts into
non-dominating BBs.
* gcc.dg/torture/pr81203.c: New testcase.
From-SVN: r249644
Diffstat (limited to 'gcc/tree-tailcall.c')
-rw-r--r-- | gcc/tree-tailcall.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/tree-tailcall.c b/gcc/tree-tailcall.c index 6aa9a56462e..e0497e596bb 100644 --- a/gcc/tree-tailcall.c +++ b/gcc/tree-tailcall.c @@ -573,6 +573,11 @@ find_tail_calls (basic_block bb, struct tailcall **ret) { if (! tail_recursion) return; + /* Do not deal with checking dominance, the real fix is to + do path isolation for the transform phase anyway, removing + the need to compute the accumulators with new stmts. */ + if (abb != bb) + return; for (unsigned opno = 1; opno < gimple_num_ops (stmt); ++opno) { tree op = gimple_op (stmt, opno); |