From: Bruno Haible Date: Fri, 5 Apr 2024 14:45:25 +0000 (+0200) Subject: exp2l: Work around a NetBSD 10.0/i386 bug. X-Git-Tag: v1.0~158 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=e866532d32bcf7a05dfeb75dac2a19a3a162703d;p=gnulib.git exp2l: Work around a NetBSD 10.0/i386 bug. * m4/exp2l.m4 (gl_FUNC_EXP2L): Test the value of exp2l(LDBL_MAX_EXP-1). * doc/posix-functions/exp2l.texi: Mention the NetBSD 10.0/i386 bug. --- diff --git a/ChangeLog b/ChangeLog index 017125b353..ea2ed1b7ec 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2024-04-05 Bruno Haible + + exp2l: Work around a NetBSD 10.0/i386 bug. + * m4/exp2l.m4 (gl_FUNC_EXP2L): Test the value of exp2l(LDBL_MAX_EXP-1). + * doc/posix-functions/exp2l.texi: Mention the NetBSD 10.0/i386 bug. + 2024-04-05 Bruno Haible roundl: Fix a link error on Linux/powerpc64le. diff --git a/doc/posix-functions/exp2l.texi b/doc/posix-functions/exp2l.texi index 777182ec51..5de6d47469 100644 --- a/doc/posix-functions/exp2l.texi +++ b/doc/posix-functions/exp2l.texi @@ -15,9 +15,12 @@ FreeBSD 6.0, NetBSD 5.0, OpenBSD 3.8, Minix 3.1.8, AIX 5.1, HP-UX 11, older IRIX This function is not declared on some platforms: IRIX 6.5. @item +This function returns Infinity instead of large finite values on some platforms: +NetBSD 10.0/i386. +@item This function produces results which are accurate to only 16 digits on some platforms: -NetBSD 10.0. +NetBSD 10.0/x86_64. @end itemize Portability problems fixed by Gnulib module @code{exp2l-ieee}: diff --git a/m4/exp2l.m4 b/m4/exp2l.m4 index 2dd134740c..7de6f8de4b 100644 --- a/m4/exp2l.m4 +++ b/m4/exp2l.m4 @@ -1,5 +1,5 @@ # exp2l.m4 -# serial 14 +# serial 15 dnl Copyright (C) 2010-2024 Free Software Foundation, Inc. dnl This file is free software; the Free Software Foundation dnl gives unlimited permission to copy and/or distribute it, @@ -81,7 +81,7 @@ int main (int argc, char *argv[]) { long double (* volatile my_exp2l) (long double) = argc ? exp2l : dummy; int result = 0; - /* This test fails on NetBSD 9.3. */ + /* This test fails on NetBSD 10.0/x86_64. */ { const long double TWO_LDBL_MANT_DIG = /* 2^LDBL_MANT_DIG */ (long double) (1U << ((LDBL_MANT_DIG - 1) / 5)) @@ -94,6 +94,13 @@ int main (int argc, char *argv[]) if (!(err >= -100.0L && err <= 100.0L)) result |= 1; } + /* This test fails on NetBSD 10.0/i386. */ + { + long double x = LDBL_MAX_EXP - 1; + long double z = my_exp2l (x); + if (z + z == z) /* isinf (z) */ + result |= 2; + } return result; } ]])],