[Bug tree-optimization/121001] frange on float_var*0.f includes NaN even if float_var does not include NaN

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

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC behaves IMHO correctly.  On the true edge of a == a we know a is [-Inf,
+Inf].
And +Inf*0.f or -Inf*0.f is NaN.