Re: OpenBSD frexpl failure

[Bruno Haible]

Eric Blake wrote:
> Here's the relevant contents of OpenBSD 4.0 <float.h>
> 
> #define LDBL_MANT_DIG   DBL_MANT_DIG
> #define LDBL_EPSILON    DBL_EPSILON
> #define LDBL_DIG        DBL_DIG
> #define LDBL_MIN_EXP    DBL_MIN_EXP
> #define LDBL_MIN        DBL_MIN
> #define LDBL_MIN_10_EXP DBL_MIN_10_EXP
> #define LDBL_MAX_EXP    DBL_MAX_EXP
> #define LDBL_MAX        DBL_MAX
> #define LDBL_MAX_10_EXP DBL_MAX_10_EXP
> 
> Which is pretty pointless, since the default compiler uses 80-bit long
> doubles:

Yup. You got it.

> With this quick patch (no ChangeLog, yet), all 12 tests pass for:
> 
> ./gnulib-tool --with-tests --test frexpl ceill roundl truncl isnanl ldexpl
> floorl
>
> where without it, 8 of the 12 tests fail.

Then, please, don't hesitate to commit the patch. With this additional
doc update, please.

*** doc/headers/float.texi.orig 2007-12-08 00:14:54.000000000 +0100
--- doc/headers/float.texi      2007-12-08 00:13:40.000000000 +0100
***************
*** 9,16 ****
  @itemize
  @item
  The values of @code{LDBL_*} macros are incorrect on some platforms:
! On BeOS, they are the same as the values of the @code{DBL_*} macros, although
! @samp{long double} is a larger type than @samp{double}.
  @end itemize
  
  Portability problems not fixed by Gnulib:
--- 9,16 ----
  @itemize
  @item
  The values of @code{LDBL_*} macros are incorrect on some platforms:
! On OpenBSD 4.0 and BeOS, they are the same as the values of the @code{DBL_*}
! macros, although @samp{long double} is a larger type than @samp{double}.
  @end itemize
  
  Portability problems not fixed by Gnulib: