This is the mail archive of the
glibc-bugs@sourceware.org
mailing list for the glibc project.
[Bug math/19201] dbl-64 remainder incorrect sign of zero result
- From: "cvs-commit at gcc dot gnu.org" <sourceware-bugzilla at sourceware dot org>
- To: glibc-bugs at sourceware dot org
- Date: Tue, 03 Nov 2015 00:13:04 +0000
- Subject: [Bug math/19201] dbl-64 remainder incorrect sign of zero result
- Auto-submitted: auto-generated
- References: <bug-19201-131 at http dot sourceware dot org/bugzilla/>
https://sourceware.org/bugzilla/show_bug.cgi?id=19201
--- 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 444ec6b8d8091456a2622765ac60f9c60e7755a9 (commit)
from 85422c2acba83852396c9d9fd22ff0493e3606fe (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=444ec6b8d8091456a2622765ac60f9c60e7755a9
commit 444ec6b8d8091456a2622765ac60f9c60e7755a9
Author: Joseph Myers <joseph@codesourcery.com>
Date: Tue Nov 3 00:11:49 2015 +0000
Fix dbl-64 remainder sign of zero result (bug 19201).
For some large arguments, the dbl-64 implementation of remainder gives
zero results with the wrong sign, resulting from a subtraction that is
mathematically correct but does not guarantee that a zero result has
the sign of the first argument to remainder. This patch adds an
appropriate check for this case, similar to other implementations of
remainder in the case of equality, and adds tests of remainder on
inputs already used to test remquo.
Tested for x86_64 and x86.
[BZ #19201]
* sysdeps/ieee754/dbl-64/e_remainder.c (__ieee754_remainder):
Check for zero remainder in case of large exponents and ensure
correct sign of result in that case.
* math/libm-test.inc (remainder_test_data): Add more tests.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 6 +++
NEWS | 3 +-
math/libm-test.inc | 69 ++++++++++++++++++++++++++++++++++
sysdeps/ieee754/dbl-64/e_remainder.c | 2 +
4 files changed, 79 insertions(+), 1 deletions(-)
--
You are receiving this mail because:
You are on the CC list for the bug.