[Bug tree-optimization/96753] Missed optimization on modulo when left side value is known to be greater than right side value

[glisse at gcc dot gnu.org]

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

Marc Glisse <glisse at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2020-08-24

--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
We do this simplification when integer ranges tell us that x<y, but not for
symbolic stuff. See for instance PR 79408.