GCC options and floating-point correctness (benchmarks)

[Robert Dewar]

Joe Buck wrote:

> 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?

In my view, yes.
>