Re: [Linux-ia64] gcc type promotion bug?

[Andreas Schwab <schwab@suse.de>]

Richard Hirst <rhirst@linuxcare.com> writes:

|> On Tue, Apr 16, 2002 at 10:31:02PM +0200, Andreas Schwab wrote:
|> > No.  There are no operands of type double or long double involved, so the
|> > ususal arithmetic conversions (6.3.1.8) choose float as the common type:
|> > 
|> >     Otherwise, if the corresponding real type of either operand is float,
|> >     the other operand is converted, without change of type domain, to a
|> >     type whose corresponding real type is float.
|> 
|> OK, thanks.  I looked at (out of date) K&R, which told me all floating
|> point arithmetic in C was done in double precision, and I tried my
|> program on i386, where it appeared to worked fine.

The standard explicitly allows for using a higher precision and range for
floating point computation than those of the nominal type.

Andreas.

-- 
Andreas Schwab, SuSE Labs, schwab@suse.de
SuSE GmbH, Deutschherrnstr. 15-19, D-90429 Nürnberg
Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."