"1 + -1" when rounding to -inf

[Andreas Schwab]

David Miller <davem@davemloft.net> writes:

> From: Andreas Schwab <schwab@linux-m68k.org>
> Date: Mon, 21 Apr 2014 21:22:07 +0200
>
>> David Miller <davem@davemloft.net> writes:
>> 
>>> I wrote a simple test program and, with FE_DOWNWARD, the sequence is:
>>>
>>> -1 + 1 == -0.0L
>>>
>>> -1L / -0.0L == INF
>> 
>> Both are correct (the latter is independent of the rounding direction).
>
> The test case is expecting -INF.

The log functions always return -inf for ±0, so does log1p(-1).

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."