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.
