[Bug tree-optimization/56035] [4.8 Regression] ICE in verify_loop_structure, at cfgloop.c:1581 (loop n’s header does not belong directly to it !)

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56035



Jakub Jelinek <jakub at gcc dot gnu.org> changed:



           What    |Removed                     |Added

----------------------------------------------------------------------------

                 CC|                            |jakub at gcc dot gnu.org



--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-01-22 
11:38:47 UTC ---

EXIT with no predecessors is fine, if the body of the function always ends with

endless loops.  Consider void foo (void) { for (;;); } which doesn't have any

EXIT predecessors either.