http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46080
--- Comment #9 from Paul Zimmermann <zimmerma+gcc at loria dot fr> 2010-10-21 19:26:11 UTC --- (In reply to comment #8) > You really should use hex float to see the diferences. I bet it is just the > final digit of the hex float that is different and only by one. This is > actually ok IIRC. see comment 5. (Moreover the sqrt function must return correct rounding according to IEEE 754, thus even a difference of 1 ulp is *not* ok.) Paul Zimmermann