Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
It seems that the compiler was optimizing out the write. Adding printing of the value variable at the end of the destructor also resulted in the correct behavior. Thus, I changed it to the volatile write. Drive-by change: do synchronous deep_copy
- Loading branch information