[boost] Re: [shared_ptr] Interlocked* - possible bug?

30 Sep 2004

      Peter Dimov wrote:
...
Alexander Terekhov wrote:
...
...
No, it's not; C++ behavior _is defined in terms of_ volatile (and I/O
calls), not the other way around.
As if rule. And C++ says nothing about mutiple threads.
Nope. "As if" is defined in terms of observable behavior, and "observable
behavior" is defined in terms of volatile and I/O.
int main() {
  volatile int a = 1;
  return --a;
}

prove that it can't be transformed to

int main() {
}

regards,
alexander.