1 --- w32api-4.0.3-1.mingw32-src/misc/src/libcrt/gdtoa/arithchk.c.orig 2012-10-07 20:55:06.000000000 +0200
2 +++ w32api-4.0.3-1.mingw32-src/misc/src/libcrt/gdtoa/arithchk.c 2014-01-30 17:48:48.932622127 +0100
6 /* Cray1 = 4617762693716115456 -- without overflow on non-Crays */
7 - Cray1 = printf(emptyfmt) < 0 ? 0 : 4617762;
8 + Cray1 = printf(emptyfmt, "") < 0 ? 0 : 4617762;
9 if (printf(emptyfmt, Cray1) >= 0)
10 Cray1 = 1000000*Cray1 + 693716;
11 if (printf(emptyfmt, Cray1) >= 0)