-fno-tree-cselim not working?

[Andrew Haley]

Ian Lance Taylor writes:

 > As I understand it, the draft C++0x memory model has acquire release
 > semantics for annotated variables.  Of course, it wouldn't help the
 > originalk test case unless the global variable was annotated.

Mmm, but one of the authors of the draft C++0x memory model tells me
that the controversial optimization gcc is performing is definitely
illegal under that model, regardless of how the variables are
annotated.  I haven't yet got deep enough into the working paper to be
able to point you at exactly where it says so.

Andrew.