https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78576
--- Comment #14 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- On Tue, 29 Nov 2016, bergner at gcc dot gnu.org wrote: > Using gdb, I see: > > (gdb) info registers f1 f2 > f1 27 (raw 0x403b000000000000) > f2 -3.0814879110195774e-33 (raw 0xb930000000000000) Given this, there's no bug in libgcc (truncating to 26 is correct) and none in glibc either (that low part is -2^-108, which is much less than 1ulp of 27).
