Paul Eggert <[EMAIL PROTECTED]> wrote: > Jim Meyering <[EMAIL PROTECTED]> writes: > >> It seems to have exposed a problem in gnulib's vasnprintf.c: > > I think this is because the revised (core-dumping) 'seq' is calling > vasnprintf with the equivalent of printf ("%.1Lf", 0.8L), whereas due > to the strange compiler settings on FreeBSD the original > (non-core-dumping) 'seq' called vasnprintf with the equivalent of > printf ("%.1Lf", (long double) (double) 0.8L). > > I guess that the bug lies in the printing of a long double value that > is not exactly representable as a double.
FYI, this happens with both gcc-3.4.3 and gcc-4.2-20070307. The latter reports freebsd6$ gcc -v Using built-in specs. Target: i386-unknown-freebsd6.1 Configured with: ../gcc-4.2-20070307/configure --enable-decimal-float --enable-languages=c,c++ --with-gmp=/usr/local --with-mpfr=/usr/local Thread model: posix gcc version 4.2.0 20070307 (prerelease)