Make cacosh (0 + iNaN) return NaN + i pi/2 (bug 22561, DR#471).
commit5244527da1bfa751492e146d3e6ae128c59bfcc4
authorJoseph Myers <joseph@codesourcery.com>
Wed, 6 Dec 2017 21:35:20 +0000 (6 21:35 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Wed, 6 Dec 2017 21:35:20 +0000 (6 21:35 +0000)
tree28d4610ca18dc12b2ae6c7d7877e23ac26894942
parentd73fac82bedc124f00a39eba703e5a9c53e8028d
Make cacosh (0 + iNaN) return NaN + i pi/2 (bug 22561, DR#471).

As per C11 DR#471 (adjusted resolution accepted for C17), cacosh (0 +
iNaN) should return NaN +/- i pi/2, not NaN + iNaN.

This patch fixes the code accordingly.  The test has hardcoded the
result with positive sign of the imaginary part (with an associated
comment), since the unspecified sign for a result other than 0 or
infinity isn't currently supported by the test infrastructure.

Tested for x86_64.

[BZ #22561]
* math/s_cacosh_template.c (M_DECL_FUNC (__cacosh)): Use pi/2 for
real part of result for argument 0 + i * NaN.
* math/libm-test-cacosh.inc (cacosh_test_data): Update expected
results for tests of 0 + i * NaN.
ChangeLog
math/libm-test-cacosh.inc
math/s_cacosh_template.c