Greg Stark <gsstark(at)mit(dot)edu> writes:
> Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> writes:
>> This query would invoke the following code in int4div:
>>
>> if (arg2 == 0)
> I have a vague memory that IEEE floats have zero coming in two
> flavours, 0 and -0. I wonder if it's possible merely comparing against
> 0 isn't covering all the possible cases that can trigger a division by
> zero trap.
(a) This is an integer, not a float.
(b) The IEEE spec requires that 0 and -0 compare equal.
regards, tom lane