In message: <[EMAIL PROTECTED]>
Terry Lambert <[EMAIL PROTECTED]> writes:
: > This
: > example shows that we don't support it in printf, since the above
: > example does ***NOT*** give +Inf, but rather whatever 2*DBL_MAX is.
:
: That would be +Inf for double values... a 53 bit +Inf. But
: since it's being improperly treated as a 64 bit value, you don't
: get +Inf when you *should*. I think this case is about *not*
: getting an error you should get.
Terry you are wrong. This has to do with the RANGE not the PRECISION
of the floating point number. It is ***NOT*** +Inf.
: > The exponent range is ***NOT*** lost until printf truncates it, as my
: > test programs showed.
:
: Exactly! And it *should* be, because a double *is not* the same
: precision as a *long double*. A validation suite that tested edge
: conditions to ensure that there was a precision failure where there
: was supposed to be, and didn't get an expected failure, would mean
: it's broken.
You are wrong. You are confusing the precision of the mantissa with
the range of the exponent.
Printf should *NOT* truncate to double before converting to print.
That's a bug too.
: > The one issue that I've seen is
: >
: > long double a = 1.0L;
: > long double b = 1.0L + LDBL_EPSION
: > if (a == b) abort();
: >
: > which is what I'm trying to fix. (note, "1.0L" must be spelled
: > "oneld()" and long double oneld() { return (1.0L);}) to avoid the
: > optimizer getting it right.
:
: Heh. I saw that discussion; I think that's seperate.
Yes.
: The main issue that I think is outstanding is that you can't get
: both exception behaviour and non-exception behaviour, and it is
: going to have to be the compiler's job to force the issue, because
: it can't dictate implementaiton to the host OS.
I don't follow.
: One problem is the initialization of the hardware (there was already
: a flags change for an initialization difference from what the compiler
: expects suggested in this thread -- to my mind, it's a workaround for
: the gcc generating header files, instead of taking the system's word
: for it).
I don't follow.
Warner
To Unsubscribe: send mail to [EMAIL PROTECTED]
with "unsubscribe freebsd-current" in the body of the message
