Re: Make division by zero legal

[Neil R. Ormos]

Andrew J. Schorr wrote:
> Nethox wrote:

>> [...]
>> $ gawk -M 'BEGIN { print 1/0; print "workaround" }'
>> +inf
>> workaround

> I can't speak to why gawk currently crashes on
> division by zero; it does seem odd that -M
> behaves differently.

Notwithstanding mawk and gawk -M, other awks do
treat division by zero as a fatal error and, like
gawk, have for years.

I rely on that behavior.  Perhaps others do, also.

Inasmuch as there are several trivial workarounds
available to the OP, I hope his or her proposed
change will not be incorporated into gawk as
default behavior.