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

From: Alexander Terekhov (terekhov_at_[hidden])
Date: 2004-09-30 12:04:14

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.