[Bug middle-end/94111] Wrong constant folding: decimal floating-point infinity casted to double -> zero

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
                 CC|                            |rguenth at gcc dot gnu.org
           Keywords|                            |wrong-code
   Last reconfirmed|                            |2020-03-10
     Ever confirmed|0                           |1
            Summary|Wrong optimization: decimal |Wrong constant folding:
                   |floating-point infinity     |decimal floating-point
                   |casted to double -> zero    |infinity casted to double
                   |                            |-> zero

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
This goes wrong somewhere in constant folding:

  d.1_2 = d_13;
  _3 = (double) d.1_2;

 ->

  d.1_2 =  Inf;
  _3 = 0.0;

so (double) Inf is computed wrong.