Do not allow divide-by-zero exception for pow(+/- 0, -Inf).
commitc2b7ccad93d6361eba91755e8f0c92e97c76e854
authorJoseph Myers <joseph@codesourcery.com>
Wed, 17 Oct 2018 21:23:40 +0000 (17 21:23 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Wed, 17 Oct 2018 21:23:40 +0000 (17 21:23 +0000)
tree3dd1fd49d02f6f6a903578a30d29a3ebba8cdd87
parent26756e57563e7656e756c0451166e5cd56a5a3cf
Do not allow divide-by-zero exception for pow(+/- 0, -Inf).

C99 wrongly specified a divide-by-zero exception for pow(+/- 0, -Inf);
C11 made it optional after this was pointed out, and the permission
for this exception has been removed in the current C2x draft.  This
patch makes the glibc pow tests reflect the stricter requirement
(which follows the normal IEEE rules that a divide-by-zero exception
is for the case of exact infinite results from *finite* operands, not
for such results when any operand is infinite).

Tested for x86_64 and x86.  (If any other pow implementation in glibc,
not exercised on those architectures, turns out to fail the stricter
test, it should be fixed to avoid the exception in this case.)

* math/libm-test-pow.inc (pow_test_data): Do not allow
divide-by-zero exception for pow(+/- 0, -Inf).
ChangeLog
math/libm-test-pow.inc