Compile-time floating-point expressions and subsequent detection of possible overflows etc -- during the compile-time stage.

[Andrew Haley]

On 11/02/2011 09:01 AM, Vincent Lefevre wrote:
> In ISO C99, I don't think the compiler is allowed to replace a
> floating expression with an underflow or overflow by its result
> at compile time.

But surely the "as if" rule applies here: if no conforming program
can tell the difference, a transformation is allowed.

Andrew.