[Bug tree-optimization/123061] [13/14/15/16 regression] wrong code at -O3 with -ffinite-loops on x86_64-linux-gnu

[pinskia at gcc dot gnu.org]

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Assume loop 2 to be finite: it has an exit and -ffinite-loops is on or loop was
previously finite.
BB 6 is always executed in loop 1

Yes it is always executed but just not for the all iterations.

I suspect r12-3313-g483e400870601f.