[Bug tree-optimization/96514] [9/10 Regression] ICE: verify_flow_info failed (error: control flow in the middle of basic block 3)

2020-09-11 Thread cvs-commit at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96514

--- Comment #4 from CVS Commits  ---
The releases/gcc-10 branch has been updated by Richard Biener
:

https://gcc.gnu.org/g:a568a893f38a9cd32ddffd32bb9b6636deeeb5f1

commit r10-8747-ga568a893f38a9cd32ddffd32bb9b6636deeeb5f1
Author: Richard Biener 
Date:   Fri Aug 7 10:16:05 2020 +0200

tree-optimization/96514 - avoid if-converting control-altering calls

This avoids if-converting when encountering control-altering calls.

2020-08-07  Richard Biener  

PR tree-optimization/96514
* tree-if-conv.c (if_convertible_bb_p): If the last stmt
is a call that is control-altering, fail.

* gcc.dg/pr96514.c: New testcase.

(cherry picked from commit c3f94f5786a014515c09c7852db228c74adf51e5)

[Bug tree-optimization/96514] [9/10 Regression] ICE: verify_flow_info failed (error: control flow in the middle of basic block 3)

2020-08-07 Thread rguenth at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96514

Richard Biener  changed:

   What|Removed |Added

  Known to work||11.0
Summary|[9/10/11 Regression] ICE:   |[9/10 Regression] ICE:
   |verify_flow_info failed |verify_flow_info failed
   |(error: control flow in the |(error: control flow in the
   |middle of basic block 3)|middle of basic block 3)

--- Comment #3 from Richard Biener  ---
Fixed on trunk sofar.  The possible missed-optimization prevails.