Stephan Szabo <sszabo(at)megazone23(dot)bigpanda(dot)com> writes:
>> 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".
Good catch --- thanks!
regards, tom lane