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)


Reply via email to