floating point constant folding

[John F Carr]

In article <1990Nov13.174025.1520 at zoo.toronto.edu>
	henry at zoo.toronto.edu (Henry Spencer) writes:
>Observable results include overflow exceptions and the values
>of data items written out to files.

Overflows of types other than unsigned integers are undefined, so a
conforming compiler could rearrange float expressions that would
overflow in the target machine's floating point format.  The standard
allows calculations to be in greater precision than the types involved.

In practice, this means if the compiler simplifies floating point
expressions involving constants, it must use the target float format,
or a format with more bits than the target (both range and precision
must be at least as great as the target).

--
    John Carr (jfc at athena.mit.edu)