GCC options and floating-point correctness (benchmarks)

[Joe Buck]

On Thu, Mar 25, 2004 at 02:32:58PM -0500, Scott Robert Ladd wrote:
> Joe Buck wrote:
> > But there's a problem.  People have posted trivial programs where icc
> > majorly violates IEEE rules.  Could Intel be tuning specifically to work
> > well on paranoia, but take impermissible shortcuts elsewhere?
> 
> That's certainly possible. It's not like we haven't seen such creativity 
> in other situations. However, I'd want to find some proof before making 
> any accusations in this case.

Agreed; we should be cautious before deciding that there is a problem.
Are we certain, for example, that icc's optimization of

	(a+b)+c == a+(b+c)

for double a, b, and c, is impermissibly aggressive?