http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57357
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to thutt from comment #2) > Can you please explain why it's invalid to return a double if SSE is > disabled? > SSE is an x86-specific hardware implementation and has nothing to do with > language validity from my standpoint. On x86_64 the ABI says doubles are returned (and passed) via the SSE registers.