Greg Stark <gsstark@mit.edu> writes:
> Tom Lane <tgl@sss.pgh.pa.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
