diff options
| author | Richard Biener <rguenther@suse.de> | 2015-10-20 12:34:19 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2015-10-20 12:34:19 +0000 |
| commit | d5c1a5f179880a40c6771372999d6cdefe8393fd (patch) | |
| tree | 796b6dcd88162d6b1985dc47679626371dd0154e /gcc/tree-tailcall.c | |
| parent | 744c73a51853327efa19b0abe14b208511d071f1 (diff) | |
| download | gcc-d5c1a5f179880a40c6771372999d6cdefe8393fd.zip gcc-d5c1a5f179880a40c6771372999d6cdefe8393fd.tar.gz gcc-d5c1a5f179880a40c6771372999d6cdefe8393fd.tar.bz2 | |
re PR tree-optimization/68017 (ICE on valid code at -O3 with -g enabled on x86_64-linux-gnu: cannot update SSA form)
2015-10-20 Richard Biener <rguenther@suse.de>
PR tree-optimization/68017
* tree-tailcall.c (eliminate_tail_call): Remove stmts backwards.
* gcc.dg/torture/pr68017.c: New testcase.
From-SVN: r229073
Diffstat (limited to 'gcc/tree-tailcall.c')
| -rw-r--r-- | gcc/tree-tailcall.c | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/gcc/tree-tailcall.c b/gcc/tree-tailcall.c index e97f6db8..098fff0 100644 --- a/gcc/tree-tailcall.c +++ b/gcc/tree-tailcall.c @@ -847,17 +847,21 @@ eliminate_tail_call (struct tailcall *t) possibly unreachable code in other blocks is removed later in cfg cleanup. */ gsi = t->call_gsi; - gsi_next (&gsi); - while (!gsi_end_p (gsi)) + gimple_stmt_iterator gsi2 = gsi_last_bb (gimple_bb (gsi_stmt (gsi))); + while (gsi_stmt (gsi2) != gsi_stmt (gsi)) { - gimple *t = gsi_stmt (gsi); + gimple *t = gsi_stmt (gsi2); /* Do not remove the return statement, so that redirect_edge_and_branch sees how the block ends. */ - if (gimple_code (t) == GIMPLE_RETURN) - break; - - gsi_remove (&gsi, true); - release_defs (t); + if (gimple_code (t) != GIMPLE_RETURN) + { + gimple_stmt_iterator gsi3 = gsi2; + gsi_prev (&gsi2); + gsi_remove (&gsi3, true); + release_defs (t); + } + else + gsi_prev (&gsi2); } /* Number of executions of function has reduced by the tailcall. */ |