https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122082
Xi Ruoyao <xry111 at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |INVALID
Status|UNCONFIRMED |RESOLVED
CC| |xry111 at gcc dot gnu.org
--- Comment #4 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
Here x*y-*x*y evaluates as inf - inf = nan, not 0. The reference
implementation in C23 G.5.1p6 evaluates the result as nan too.
It's different from PR122059: the standard has special treatment about infinite
input, but not very large finite input.
