On Mon, 10 Mar 2003, Tom Lane wrote: > "Merlin Moncure" <[EMAIL PROTECTED]> writes: > > The only other solution is a #ifdef win32 around places that potentially > > use integers in the divisor and do some nasty hacking. > > Well, it seems to me that we have two different issues to worry about: > > 1. There are only about half a dozen places for a user-triggered > division by zero to occur (the div and mod functions for int2, int4, > int8; have I missed anything?). It would not be very painful to insert
It's unlikely to come up in practice, but chardiv as well for "char". ---------------------------(end of broadcast)--------------------------- TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]