[Bug rtl-optimization/83962] [6/7/8 Regression] ICE: verify_flow_info failed (too many outgoing branch edges from bb 8)

[abel at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83962

--- Comment #4 from Andrey Belevantsev  ---
Author: abel
Date: Mon Apr  9 09:16:34 2018
New Revision: 259229

URL: https://gcc.gnu.org/viewcvs?rev=259229&root=gcc&view=rev
Log:
   PR rtl-optimization/83962

   * sel-sched-ir.c (tidy_control_flow): Correct the order in which we call
   tidy_fallthru_edge and tidy_control_flow.

   * gcc.dg/pr83962.c: New test.

Added:
trunk/gcc/testsuite/gcc.dg/pr83962.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/sel-sched-ir.c
trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/83962] [6/7/8 Regression] ICE: verify_flow_info failed (too many outgoing branch edges from bb 8)

[abel at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83962

--- Comment #3 from Andrey Belevantsev  ---
Here we're trying remove a jump to the next block but fail to adjust the
barrier.  This is something that tidy_fallthru_edge would do for us, but we
don't get to the point we can call it, before that the empty block gets merged
to the previous block, so the edge to tidy disappears.  I've made a patch to do
these actions in a more correct order, i.e. fixup the edge from the empty block
first and then dispatch to the code that will do more cleanups.

[Bug rtl-optimization/83962] [6/7/8 Regression] ICE: verify_flow_info failed (too many outgoing branch edges from bb 8)

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83962

Jakub Jelinek  changed:

   What|Removed |Added

   Target Milestone|8.0 |6.5

[Bug rtl-optimization/83962] [6/7/8 Regression] ICE: verify_flow_info failed (too many outgoing branch edges from bb 8)

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83962

Jakub Jelinek  changed:

   What|Removed |Added

   Priority|P3  |P2
 CC||segher at gcc dot gnu.org
Summary|[8 Regression] ICE: |[6/7/8 Regression] ICE:
   |verify_flow_info failed |verify_flow_info failed
   |(too many outgoing branch   |(too many outgoing branch
   |edges from bb 8)|edges from bb 8)

--- Comment #2 from Jakub Jelinek  ---
Started with r228692, likely latent before.