[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 via Gcc-bugs]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2025-12-12
                 CC|                            |pinskia at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Lim2 decides to lift this:

  # RANGE [irange] int [-2, 2]
  _8 = 2 / c.3_7;

But this can trap as there is no range on c.3_7 and it could be zero.