strange bug in gettimeofday function

Dave Korn dave.korn@artimi.com
Fri Feb 16 15:24:00 GMT 2007


On 16 February 2007 13:36, Andrew Makhorin wrote:


> The irony is that I usually give the same standard explanation about
> floating-point to people who do not understand that :) *Unfortunately*,
> you are right, and the difference really appears because the second
> value returned by get_time being computed with full 80-bit precision
> is kept in a fpu register during the comparison while the first value
> is stored and then loaded as a 64-bit value. 


  This is the infamous http://gcc.gnu.org/PR323.  See in particular comment
#60 for a solution (although IIRC _FPU_SETCW doesn't exist on cygwin... maybe
I'll see about adding it).


    cheers,
      DaveK
-- 
Can't think of a witty .sigline today....


--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Problem reports:       http://cygwin.com/problems.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/



More information about the Cygwin mailing list