[bug-gawk] Problem with strftime

[Jonathan Nichols]

Hello,

   I'm running gawk 3.1.6.  The strftime function will crash awk if
the input is too big.  Here's an example of working input and
non-working input:

$ echo 9999999999 | awk '{print strftime("%Y-%m-%d",$1)}'
2286-11-20
$ echo 13159568651306858568 | awk '{print strftime("%Y-%m-%d",$1)}'
awk: (FILENAME=- FNR=1) fatal error: internal error

Regards,

jon