http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47290
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-01-18 13:07:06 UTC --- Created attachment 23017 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23017 gcc46-pr47290.patch Another possible untested patch that should handle any number of bbs in empty infinite loop.