[Bug tree-optimization/71034] abs(f) u>= 0. is always true

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |13.0
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
EVRP is able to handle this in GCC 13+ so closing as such:
Folding statement: x_3 = ABS_EXPR <x_2(D)>;
Global Exported: x_3 = [frange] double [0.0 (0x0.0p+0), +Inf] +NAN
Not folded
Folding statement: _1 = x_3 u>= 0.0;
Queued stmt for removal.  Folds to: 1
Folding statement: _4 = (int) _1;
Queued stmt for removal.  Folds to: 1
Folding statement: return _4;
Folded into: return 1;