This bug report reveals the difficulty of correctness reasoning of the optimization in concurrent programming. The code only including control flows that never reach racy writes is transformed into one that actually executes racy writes by optimization.
1
GCC Bugzilla – Bug 52558 write introduction incorrect wrt the C++11 memory model
Guidelines/WarningsGuidelines – Boost C++ Libraries
Gmane Loom
