This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Re: Fix exp missing underflows (bug 15268, bug 15425)
- From: Andreas Jaeger <aj at suse dot com>
- To: "Joseph S. Myers" <joseph at codesourcery dot com>, libc-alpha at sourceware dot org
- Date: Tue, 03 Dec 2013 22:04:36 +0100
- Subject: Re: Fix exp missing underflows (bug 15268, bug 15425)
- Authentication-results: sourceware.org; auth=none
- References: <Pine dot LNX dot 4 dot 64 dot 1312031836230 dot 7734 at digraph dot polyomino dot org dot uk>
On 12/03/2013 07:37 PM, Joseph S. Myers wrote:
> Bugs 15268 and 15425 are cases of missing underflow exceptions from
> dbl-64 exp, where the result produced by either scaling down or the
> mpa.c multiple-precision code does not involve any inexact underflows
> (it may or may not involve an exact underflow which doesn't set the
> underflow flag) even though the actual exp operation is inexact (for
> all finite nonzero arguments) and so the exception should be raised on
> underflow. This patch fixes them by checking for a result small
> enough to require an underflow exception, in the cases where this
> issue might arise, and ensuring an exception is raised in that case.
>
> Tested x86_64 and x86 and ulps updated accordingly.
ok, thanks,
Andreas
--
Andreas Jaeger aj@{suse.com,opensuse.org} Twitter/Identica: jaegerandi
SUSE LINUX Products GmbH, Maxfeldstr. 5, 90409 Nürnberg, Germany
GF: Jeff Hawn,Jennifer Guild,Felix Imendörffer,HRB16746 (AG Nürnberg)
GPG fingerprint = 93A3 365E CE47 B889 DF7F FED1 389A 563C C272 A126