Alexander Terekhov wrote: > On 12/17/05, Peter Dimov <pdimov at mmltd.net> wrote: > [...] >> I agree that the lock/unlock pair prevents this transformation. > > Nope. A dummy lock can be removed entirely. It can't unless the compiler can prove that it's not being locked anywhere else.