[Bug tree-optimization/24021] VRP does not work with floating points

[aldyh at gcc dot gnu.org]

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

Aldy Hernandez <aldyh at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #28 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
It's my pleasure to finally close this PR.  VRP handles floats.  Obviously not
every operator has been implemented, but enough to call VRP floating-point
aware, and certainly enough to handle this case.