Bug 15423 - catan, catanh spurious underflows
Summary: catan, catanh spurious underflows
Status: RESOLVED FIXED
Alias: None
Product: glibc
Classification: Unclassified
Component: math (show other bugs)
Version: 2.17
: P2 normal
Target Milestone: ---
Assignee: Not yet assigned to anyone
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2013-04-30 21:22 UTC by Joseph Myers
Modified: 2014-06-13 18:09 UTC (History)
0 users

See Also:
Host:
Target:
Build:
Last reconfirmed:
fweimer: security-

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Joseph Myers 2013-04-30 21:22:41 UTC 
catan and catanh can produce spurious underflow exceptions from squaring the real and imaginary parts of their arguments.  These in turn can lead to other spurious exceptions and inaccurate results.  Examples on x86_64: catan (1.0 + 0x1p-1020i) (spurious underflow), catan (0x1p-1020 + 1.0i) (spurious underflow and divide-by-zero), catan (0x1p-512 + 1.0i) (spurious underflow and overflow), catan (0x1.3p-536 - 1.0i) (spurious underflow, imaginary part of result is inaccurate, -185.9367... but should be -186.0240...).
Comment 1 Joseph Myers 2013-05-01 10:07:52 UTC 
Fixed for 2.18 by:

commit 10de07f5fdd9eaf3a808d4461401f5b661095614
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Wed May 1 10:07:00 2013 +0000

    Fix catan, catanh spurious underflows (bug 15423).