[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gnulib-bug
Subject:    Re: [2/2] new module 'isinf', FreeBSD/x86 'long double'
From:       Ben Pfaff <blp () cs ! stanford ! edu>
Date:       2008-07-24 4:55:42
Message-ID: 873alzvq29.fsf () blp ! benpfaff ! org
[Download RAW message or body]

Bruno Haible <bruno@clisp.org> writes:

> Ben Pfaff wrote:
>> This second patch is the body of the module.
>
> It looks all right. Well done!

Thanks.  I'll push it, with the file names updated, after you
take a look at the updated 1/2.

> [...FreeBSD/x86 rounds up to infinity surprisingly early...]
>
> What conclusion do you draw from this output?

FreeBSD/x86 configures the x87 floating point unit to limit its
precision to 53 bits.  Huh.

Some other people noticed this before, of course:
        http://gcc.gnu.org/ml/libstdc++/2001-08/msg00167.html
        http://www.mail-archive.com/freebsd-current@freebsd.org/msg45158.html

Should we make the 'float' module redefine LDBL_MAX to
__LDBL_MAX__ when this problem is present?  Is there a better
solution?
-- 
"In this world that Hugh Heffner had made,
 he alone seemed forever bunnyless."
--John D. MacDonald



[prev in list] [next in list] [prev in thread] [next in thread]