On Tue, Sep 20, 2022 at 07:22:03AM +0200, Aldy Hernandez wrote: > > > Jakub actually suggested something completely different...just set +0 > > > always for !HONOR_SIGNED_ZEROS. > > > > Hmm, but the [-1, -0.] with known sign becomes [-1, +0.] with unknown sign? > > Huh. I guess that's true. Does that happen often enough in practice
Sure, if you -fno-signed-zeros/-ffast-math and some variable can be zero, copysign/signbit is undefined. The option basically asserts you don't care about it... Jakub