[Bug middle-end/80764] [8 Regression] ICE at -O3 in both 32-bit and 64-bit modes on x86_64-linux-gnu (internal compiler error: in verify_loop_structure, at cfgloop.c:1644)

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #5 from Richard Biener  ---
Fixed.

[Bug middle-end/80764] [8 Regression] ICE at -O3 in both 32-bit and 64-bit modes on x86_64-linux-gnu (internal compiler error: in verify_loop_structure, at cfgloop.c:1644)

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener  ---
Author: rguenth
Date: Fri May 19 08:23:37 2017
New Revision: 248261

URL: https://gcc.gnu.org/viewcvs?rev=248261=gcc=rev
Log:
2017-05-19  Richard Biener  

PR middle-end/80764
* cfgexpand.c (expand_gimple_cond): Fix loop fixup.

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

Added:
trunk/gcc/testsuite/gcc.dg/torture/pr80764.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/cfgexpand.c
trunk/gcc/testsuite/ChangeLog

[Bug middle-end/80764] [8 Regression] ICE at -O3 in both 32-bit and 64-bit modes on x86_64-linux-gnu (internal compiler error: in verify_loop_structure, at cfgloop.c:1644)

[dcb314 at hotmail dot com]

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

David Binderman  changed:

   What|Removed |Added

 CC||dcb314 at hotmail dot com

--- Comment #3 from David Binderman  ---
I see something similar, without the error message about latch.

destDir/testFile.1790.c: In function ‘func_19.part.6’:
destDir/testFile.1790.c:935:1: error: size of loop 1 should be 14, not 15
 }
 ^
destDir/testFile.1790.c:935:1: internal compiler error: in
verify_loop_structure, at cfgloop.c:1644

[Bug middle-end/80764] [8 Regression] ICE at -O3 in both 32-bit and 64-bit modes on x86_64-linux-gnu (internal compiler error: in verify_loop_structure, at cfgloop.c:1644)

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener  ---
So right after RTL expansion loop state is corrupt.

[Bug middle-end/80764] [8 Regression] ICE at -O3 in both 32-bit and 64-bit modes on x86_64-linux-gnu (internal compiler error: in verify_loop_structure, at cfgloop.c:1644)

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

   Keywords||ice-checking
 Status|UNCONFIRMED |ASSIGNED
   Last reconfirmed||2017-05-16
   Assignee|unassigned at gcc dot gnu.org  |rguenth at gcc dot 
gnu.org
 Ever confirmed|0   |1

--- Comment #1 from Richard Biener  ---
I'll have a look.  Probably "caused" by more aggressively verifying loops.

[Bug middle-end/80764] [8 Regression] ICE at -O3 in both 32-bit and 64-bit modes on x86_64-linux-gnu (internal compiler error: in verify_loop_structure, at cfgloop.c:1644)

[pinskia at gcc dot gnu.org]

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

Andrew Pinski  changed:

   What|Removed |Added

   Keywords||ice-on-valid-code
 Target||x86_64-pc-linux-gnu
  Component|c   |middle-end
Version|unknown |8.0
   Target Milestone|--- |8.0
Summary|ICE at -O3 in both 32-bit   |[8 Regression] ICE at -O3
   |and 64-bit modes on |in both 32-bit and 64-bit
   |x86_64-linux-gnu (internal  |modes on x86_64-linux-gnu
   |compiler error: in  |(internal compiler error:
   |verify_loop_structure, at   |in verify_loop_structure,
   |cfgloop.c:1644) |at cfgloop.c:1644)