[Bug middle-end/119999] [12/13 Regression] explicit infinite goto loop removed causing assert

[redi at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> ---
It started aborting with r272234 aka r10-1052-gc29c92c789d938

Author:     Feng Xue
AuthorDate: Thu Jun 13 05:17:42 2019

    PR tree-optimization/89713 - Assume loop with an exit is finite

    gcc/ChangeLog:

            * doc/invoke.texi (-ffinite-loops): Document new option.
            * common.opt (-ffinite-loops): New option.
            * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Mark
            IFN_GOACC_LOOP calls as necessary.
            * tree-ssa-loop-niter.c (finite_loop_p): Assume loop with an exit
            is finite.
            * omp-offload.c (oacc_xform_loop): Skip lowering if return value of
            IFN_GOACC_LOOP call is not used.
            * opts.c (default_options_table): Enable -ffinite-loops at -O2+.