Re: gawk number to string bug

[Andrew J. Schorr]

Anyway, the attached patch seems to fix the problem on 32-bit x86
and 64-bit x86 platforms.  I know the patch is flawed for the
same reasons my other patch is flawed.  But here it is nonetheless, perhaps
it is useful as a starting point.

With this patch, I now see:

   $ ./gawk --lint 'BEGIN { x=2^64; printf "2^%d= %s %d %g\n",64,x,x,x}'
   gawk: warning: [s]printf: value 1.84467e+19 is out of range for `%d' format
   2^64= 1.84467e+19 1.84467e+19 1.84467e+19

Regards,
Andy

builtin.patch
Description: Text document