[Bug tree-optimization/126464] [16/17 Regression] wrong code with FP ranges

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

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

Drea Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2026-07-29
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> ---
```
=========== BB 2 ============
Imports: x_2(D)  
Exports: x_2(D)  y_3  
         y_3 : x_2(D)(I)  
x_2(D)  [frange] double VARYING +-NAN
    <bb 2> :
    # DEBUG BEGIN_STMT
    y_3 = (float) x_2(D);
    # DEBUG y => y_3
    # DEBUG BEGIN_STMT
    if (y_3 ==  -Inf)
      goto <bb 3>; [INV]
    else
      goto <bb 4>; [INV]

2->3  (T) x_2(D) :      [frange] double [-Inf, -Inf]
2->3  (T) y_3 :         [frange] float [-Inf, -Inf]
```

Confirmed. for `y_3 ==  -Inf`, infering about x being -Inf is incorrect.