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.