https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89573
--- Comment #6 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- On Thu, 14 Mar 2019, rguenther at suse dot de wrote: > I see. This means the different cases in the testcase in question are > not equivalent (when excess precision is involved) and thus the > expectation that they produce the same value is wrong which means the > bug is INVALID? Yes. With, again, the question of whether glibc should be avoiding returning with excess precision from log and other libm functions (where at present it only tries to avoid excess range, and excess precision for fully-determined IEEE functions such as sqrt).