[Bug tree-optimization/101151] [11/12 Regression] ICE at -O1 and above on x86_64-linux-gnu: verify_ssa failed since r11-3705-gdae673abd37d4004

2021-06-22 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101151

--- Comment #4 from CVS Commits  ---
The master branch has been updated by Richard Biener :

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

commit r12-1718-ga2ef8395fa970498985764514044e5fd00f7d5c0
Author: Richard Biener 
Date:   Tue Jun 22 10:14:02 2021 +0200

tree-optimization/101151 - fix irreducible region check for sinking

The check whether two blocks are in the same irreducible region
and thus post-dominance checks being unreliable was incomplete
since an irreducible region can contain reducible sub-regions but
if one block is in the irreducible part and one not the check
still doesn't work as expected.

2021-06-22  Richard Biener  

PR tree-optimization/101151
* tree-ssa-sink.c (statement_sink_location): Expand irreducible
region check.

* gcc.dg/torture/pr101151.c: New testcase.

[Bug tree-optimization/101151] [11/12 Regression] ICE at -O1 and above on x86_64-linux-gnu: verify_ssa failed since r11-3705-gdae673abd37d4004

2021-06-22 Thread rguenth at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101151

--- Comment #3 from Richard Biener  ---
The

  /* If the blocks are possibly within the same irreducible
 cycle the above check breaks down.  */

check is incomplete.  Testing fix.

[Bug tree-optimization/101151] [11/12 Regression] ICE at -O1 and above on x86_64-linux-gnu: verify_ssa failed since r11-3705-gdae673abd37d4004

2021-06-22 Thread rguenth at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101151

Richard Biener  changed:

   What|Removed |Added

   Keywords||ice-on-valid-code
 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |rguenth at gcc dot 
gnu.org
Version|unknown |11.1.1

--- Comment #2 from Richard Biener  ---
Meh.

[Bug tree-optimization/101151] [11/12 Regression] ICE at -O1 and above on x86_64-linux-gnu: verify_ssa failed since r11-3705-gdae673abd37d4004

2021-06-22 Thread marxin at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101151

Martin Liška  changed:

   What|Removed |Added

   Target Milestone|--- |11.2
 Ever confirmed|0   |1
 CC||marxin at gcc dot gnu.org,
   ||rguenth at gcc dot gnu.org
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2021-06-22
Summary|ICE at -O1 and above on |[11/12 Regression] ICE at
   |x86_64-linux-gnu:   |-O1 and above on
   |verify_ssa failed   |x86_64-linux-gnu:
   ||verify_ssa failed since
   ||r11-3705-gdae673abd37d4004

--- Comment #1 from Martin Liška  ---
Started with r11-3705-gdae673abd37d4004.