http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49010
--- Comment #7 from Thomas Henlich <thenlich at users dot sourceforge.net> 2011-05-17 11:57:31 UTC --- I suppose we could still use __builtin_fmod if we reset the sign bit if the result is -0.
thenlich at users dot sourceforge.net Tue, 17 May 2011 05:05:50 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49010
--- Comment #7 from Thomas Henlich <thenlich at users dot sourceforge.net> 2011-05-17 11:57:31 UTC --- I suppose we could still use __builtin_fmod if we reset the sign bit if the result is -0.