Jon Harrop <jon@ffconsultancy.com> writes:

> On Friday 09 February 2007 22:36, ls-ocaml-developer-2006@m-e-leypold.de 
> wrote:
>> Still I think the compiler (GCC) might take the license to
>> optimize (a * b) *c == a * (b * c) to false with -O3.
>
> The -O* flags try to be correct but you can supply flags like -ffast-math to 

Sorry, I wanted to say "optimize (a * b) *c == a * (b * c) to true",
i.e. 1. Would the compiler be wrong/incorrect in doing so? I don't
think so.

Regards -- Markus