-Wfloat-equal and comparison to zero

[Michael Matz]

Hello,

On Tue, 12 Nov 2024, Thomas Koenig via Gcc wrote:

> Am 12.11.24 um 17:25 schrieb Michael Matz via Gcc:
> 
> > If you think of float as
> > approximated reals, then yes, division by zero is undefined (not
> > somewhat undefined!).
> 
> Depends on how you look at it.
> 
> IEEE 754-2008, for example, says in 7.3

When you regard floats (I meant IEEE floats) as approximated reals (I 
meant R) then IEEE 754 doesn't enter the picture.  In R division by zero 
is undefined.  Of course in IEEE division is completey defined, as I also 
said.


Ciao,
Michael.