>> + __builtin_printf ("%d %d %g\n", __builtin_signbit (d), res_signbit,
>> d);
> Did you mean to keep this call to __builtin_printf?
> OK with that removed, assuming it wasn't intentional.Indeed, that was a leftover from a debugging session. Committed to trunk, with that __builtin_printf removed, as revision 226990. Thanks for the review. FX
