https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63388
Marc Glisse <glisse at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |diagnostic
Severity|major |normal
--- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> ---
I guess it would be possible to have an optional warning, late in the
optimization process, when we see an empty infinite loop:
<bb 3>:
goto <bb 3>;
I don't know how many false positives we would get from that, but the
limitation to an empty block might make them rare enough.
