public inbox for glibc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug math/16564] New: Bad overflowing log1p results
@ 2014-02-12 12:37 zimmerma+gcc at loria dot fr
2014-05-14 12:39 ` [Bug math/16564] " cvs-commit at gcc dot gnu.org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: zimmerma+gcc at loria dot fr @ 2014-02-12 12:37 UTC (permalink / raw)
To: glibc-bugs
https://sourceware.org/bugzilla/show_bug.cgi?id=16564
Bug ID: 16564
Summary: Bad overflowing log1p results
Product: glibc
Version: unspecified
Status: NEW
Severity: normal
Priority: P2
Component: math
Assignee: unassigned at sourceware dot org
Reporter: zimmerma+gcc at loria dot fr
on x86_64 with extended precision:
Testing function log1p for exponent 0 [seed=16203].
rounding mode MPFR_RNDU:
wrong overflow flag: mpfr gives 0, library 8
x=f.fffffffffffffff0@4095
library gives @Inf@
mpfr gives 2.c5c85fdf473de6b0@3
Since log(1+x) is always in the representable range, we should not get +Inf.
(Presumably 1+x is computed with rounding up and yields +Inf, then log(+Inf)
gives +Inf.)
--
You are receiving this mail because:
You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug math/16564] Bad overflowing log1p results
2014-02-12 12:37 [Bug math/16564] New: Bad overflowing log1p results zimmerma+gcc at loria dot fr
@ 2014-05-14 12:39 ` cvs-commit at gcc dot gnu.org
2014-05-14 12:41 ` jsm28 at gcc dot gnu.org
2014-06-13 8:38 ` fweimer at redhat dot com
2 siblings, 0 replies; 4+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2014-05-14 12:39 UTC (permalink / raw)
To: glibc-bugs
https://sourceware.org/bugzilla/show_bug.cgi?id=16564
--- Comment #1 from cvs-commit at gcc dot gnu.org <cvs-commit at gcc dot gnu.org> ---
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU C Library master sources".
The branch, master has been updated
via 1a84c3d6d4bc43c92b6531b09d732e2e9c750dea (commit)
from 01dbacd22a8d5e0053f8d0cf13a80286b6cfe79b (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
https://sourceware.org/git/gitweb.cgi?p=glibc.git;h=1a84c3d6d4bc43c92b6531b09d732e2e9c750dea
commit 1a84c3d6d4bc43c92b6531b09d732e2e9c750dea
Author: Joseph Myers <joseph@codesourcery.com>
Date: Wed May 14 12:38:56 2014 +0000
Fix log1pl (LDBL_MAX) in FE_UPWARD mode (bug 16564).
Bug 16564 is spurious overflow of log1pl (LDBL_MAX) in FE_UPWARD mode,
resulting from log1pl adding 1 to its argument (for arguments not
close to 0), which overflows in that mode. This patch fixes this by
avoiding adding 1 to large arguments (precisely what counts as large
depends on the floating-point format).
Tested x86_64 and x86, and spot-checked log1pl tests on mips64 and
powerpc64.
[BZ #16564]
* sysdeps/i386/fpu/s_log1pl.S (__log1pl): Do not add 1 to positive
arguments with exponent 65 or above.
* sysdeps/ieee754/ldbl-128/s_log1pl.c (__log1pl): Do not add 1 to
arguments 0x1p113L or above.
* sysdeps/ieee754/ldbl-128ibm/s_log1pl.c (__log1pl): Do not add 1
to arguments 0x1p107L or above.
* sysdeps/x86_64/fpu/s_log1pl.S (__log1pl): Do not add 1 to
positive arguments with exponent 65 or above.
* math/auto-libm-test-in: Add more tests of log1p.
* math/auto-libm-test-out: Regenerated.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 12 ++
NEWS | 14 +-
math/auto-libm-test-in | 8 +
math/auto-libm-test-out | 264 ++++++++++++++++++++++++++++++++
sysdeps/i386/fpu/s_log1pl.S | 7 +-
sysdeps/ieee754/ldbl-128/s_log1pl.c | 5 +-
sysdeps/ieee754/ldbl-128ibm/s_log1pl.c | 5 +-
sysdeps/x86_64/fpu/s_log1pl.S | 7 +-
8 files changed, 311 insertions(+), 11 deletions(-)
--
You are receiving this mail because:
You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug math/16564] Bad overflowing log1p results
2014-02-12 12:37 [Bug math/16564] New: Bad overflowing log1p results zimmerma+gcc at loria dot fr
2014-05-14 12:39 ` [Bug math/16564] " cvs-commit at gcc dot gnu.org
@ 2014-05-14 12:41 ` jsm28 at gcc dot gnu.org
2014-06-13 8:38 ` fweimer at redhat dot com
2 siblings, 0 replies; 4+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2014-05-14 12:41 UTC (permalink / raw)
To: glibc-bugs
https://sourceware.org/bugzilla/show_bug.cgi?id=16564
Joseph Myers <jsm28 at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #2 from Joseph Myers <jsm28 at gcc dot gnu.org> ---
Fixed for 2.20.
--
You are receiving this mail because:
You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug math/16564] Bad overflowing log1p results
2014-02-12 12:37 [Bug math/16564] New: Bad overflowing log1p results zimmerma+gcc at loria dot fr
2014-05-14 12:39 ` [Bug math/16564] " cvs-commit at gcc dot gnu.org
2014-05-14 12:41 ` jsm28 at gcc dot gnu.org
@ 2014-06-13 8:38 ` fweimer at redhat dot com
2 siblings, 0 replies; 4+ messages in thread
From: fweimer at redhat dot com @ 2014-06-13 8:38 UTC (permalink / raw)
To: glibc-bugs
https://sourceware.org/bugzilla/show_bug.cgi?id=16564
Florian Weimer <fweimer at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Flags| |security-
--
You are receiving this mail because:
You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2014-06-13 8:38 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-02-12 12:37 [Bug math/16564] New: Bad overflowing log1p results zimmerma+gcc at loria dot fr
2014-05-14 12:39 ` [Bug math/16564] " cvs-commit at gcc dot gnu.org
2014-05-14 12:41 ` jsm28 at gcc dot gnu.org
2014-06-13 8:38 ` fweimer at redhat dot com
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).