http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47290
--- Comment #11 from Richard Henderson <rth at gcc dot gnu.org> 2011-01-18 16:45:09 UTC --- Jakub, I'm fine with your second patch to detect infinite loops, with the proviso that you break out the test into a separate function.