nextafter and forced rounding

[Ulrich Drepper]

Richard Henderson wrote:

>> is:         -1.40129846432481707092e-45  -0x1.00000000000000000000p-149
>> should be:  -1.40129846432481707092e-45  -0x1.00000000000000000000p-149
>> difference:  0.00000000000000000000e+00   0x0.00000000000000000000p+0
> 
> 
> That's ... odd.  How can you have a miscompare with identical values?

Look at the ULP

 ulp       :  nan

Something screwed up the FPU state.

-- 
➧ Ulrich Drepper ➧ Red Hat, Inc. ➧ 444 Castro St ➧ Mountain View, CA ❖