[Bug tree-optimization/104389] [12 Regression] HUGE_VAL * 0.0 is no longer a NaN

[xry111 at mengyan1223 dot wang via Gcc-bugs]

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

Xi Ruoyao  changed:

   What|Removed |Added

 CC||xry111 at mengyan1223 dot wang

--- Comment #9 from Xi Ruoyao  ---
I think I need to paste my reply in gcc-patches here as a notice:

> Sorry for the trouble, but some warning here: even with this patch
> applied, Python would still need to replace inf * 0.0 with nan("") or
> something.  Now with folding for inf * 0.0 disabled, the multiplication
> will be evaluated at runtime and raise FE_INVALID, which is likely
> unwanted by Python.  However, raising FE_INVALID is the correct behavior
> no matter if we like or dislike it...

[Bug tree-optimization/104389] [12 Regression] HUGE_VAL * 0.0 is no longer a NaN

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

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

Jakub Jelinek  changed:

   What|Removed |Added

Summary|[10/11/12 Regression]   |[12 Regression] HUGE_VAL *
   |HUGE_VAL * 0.0 is no longer |0.0 is no longer a NaN
   |a NaN   |
   Target Milestone|10.4|12.0
 Resolution|--- |FIXED
 Status|ASSIGNED|RESOLVED

--- Comment #8 from Jakub Jelinek  ---
Turns out this isn't a problem on 10/11 branches.