Re: [PATCH] Do not specify NAN sign in frange::set_nonnegative.

2022-11-10 Thread Jakub Jelinek via Gcc-patches
On Thu, Nov 10, 2022 at 04:03:46PM +0100, Aldy Hernandez wrote: > [Jakub, how's this? Do you agree?] > > After further reading of the IEEE 754 standard, it has become clear > that there are no guarantees with regards to the sign of a NAN when it > comes to any operation other than copy, copysign,

[PATCH] Do not specify NAN sign in frange::set_nonnegative.

2022-11-10 Thread Aldy Hernandez via Gcc-patches
[Jakub, how's this? Do you agree?] After further reading of the IEEE 754 standard, it has become clear that there are no guarantees with regards to the sign of a NAN when it comes to any operation other than copy, copysign, abs, and negate. Currently, set_nonnegative() is only used in one place