[Omp] OpenMP spec 2.5 seems to have incorrect flush example on page 12

[Marcel Beemster]

Greg, you wrote:
> Marcel's example should
> work fine according to the 2.5 spec and the new formal specification of
> the OpenMP memory model.

Is there a more formal description of OMP's memory model
than what is in spec 2.5? While there is much improvement in
this area over the 2.0 spec, it is by far not accurate
enough for us compiler writers.

I would like to see this make another step in the right
direction, and offer my help, in OMP 3.0.

Marcel


-- 
Dr. Marcel Beemster, Senior Software Engineer, marcel at ace.nl,www.ace.nl
Associated Compiler Experts bv. Amsterdam, Netherlands. +31 20 6646416.
-----------------------------------------------------------------------
This e-mail and any  files transmitted  with it are  confidential.  Any
technical information contained herein is supplied as-is, and no rights
can be  derived therefrom.  If you have received this message in error,
please notify  the sender by reply  e-mail immediately,  and delete the
message and all copies thereof.