https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110564
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- >undefined or unspecified behavior Neither. Basically GCC uses excess-precision for the fpu as supplied by x87 (80bit IEEE FPU). Anyways read bug 323 and all of the specifications around FP math and more.