Subj : Re: double-checked locking in C
To   : comp.programming.threads
From : Peter Dimov
Date : Sat Jul 09 2005 04:27 am

Alexander Terekhov wrote:
> Laurent Deniau wrote:
> [...]
>> observable behavior
>
> Volatiles objects with standard storage duration don't have any
> "observable behavior".
>
> Debuggers (and things like that... beyond the scope of the standard)
> aside for a moment, how are you going to establish nonconformance of
> transformation
>
>  int main() {
>    volatile int foo = 1;
>    return --foo;
>  }
>
> to
>
>  int main() {
>  }

Haven't we been here before? How are you going to establish the 
nonconformance of the transformation of an arbitrary program into "int 
main() {}"?

.