diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2018-03-21 21:53:16 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2018-03-21 21:53:16 +0100 |
| commit | 3e129b5bc6bc96a0844dcdf75188dc4710028939 (patch) | |
| tree | 57ddf070a21d3f7a8a1953218bf99368d9a4f3b0 | |
| parent | 535808fd722db576f0f14424bc083fbef183fd4b (diff) | |
| download | gcc-3e129b5bc6bc96a0844dcdf75188dc4710028939.zip gcc-3e129b5bc6bc96a0844dcdf75188dc4710028939.tar.gz gcc-3e129b5bc6bc96a0844dcdf75188dc4710028939.tar.bz2 | |
re PR tree-optimization/84960 (ICE in GIMPLE pass: isolate-paths)
PR tree-optimization/84960
* tree-cfg.c (remove_bb): Don't move forced labels into bb->prev_bb
if it is ENTRY block, move them into single succ of ENTRY in that case.
* gcc.c-torture/compile/pr84960.c: New test.
From-SVN: r258744
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr84960.c | 17 | ||||
| -rw-r--r-- | gcc/tree-cfg.c | 6 |
4 files changed, 34 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2c5ed01..eeab1f1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2018-03-21 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/84960 + * tree-cfg.c (remove_bb): Don't move forced labels into bb->prev_bb + if it is ENTRY block, move them into single succ of ENTRY in that case. + 2018-03-21 Richard Sandiford <richard.sandiford@linaro.org> PR tree-optimization/84811 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 36e1626..faf418d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-03-21 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/84960 + * gcc.c-torture/compile/pr84960.c: New test. + 2018-03-21 Richard Sandiford <richard.sandiford@linaro.org> PR tree-optimization/84811 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr84960.c b/gcc/testsuite/gcc.c-torture/compile/pr84960.c new file mode 100644 index 0000000..b076f79 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr84960.c @@ -0,0 +1,17 @@ +/* PR tree-optimization/84960 */ +/* { dg-do compile { target indirect_jumps } } */ + +void +foo (unsigned int a, float b, void *c) +{ +lab: + if ((b - (a %= 0) < 1U) * -1U) + ; + else + { + unsigned int f = a; + __builtin_unreachable (); + c = &&lab; + } + goto *c; +} diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index b87e48d..9485f73 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -2301,6 +2301,12 @@ remove_bb (basic_block bb) } new_bb = bb->prev_bb; + /* Don't move any labels into ENTRY block. */ + if (new_bb == ENTRY_BLOCK_PTR_FOR_FN (cfun)) + { + new_bb = single_succ (new_bb); + gcc_assert (new_bb != bb); + } new_gsi = gsi_start_bb (new_bb); gsi_remove (&i, false); gsi_insert_before (&new_gsi, stmt, GSI_NEW_STMT); |