[PATCH] D37463: Fix miscompile in LoopSink pass

[Eli Friedman via Phabricator via llvm-commits]

efriedma added subscribers: dneilson, efriedma.
efriedma added a comment.

In C/C++, your example has undefined behavior.  From the C++ standard: "The execution of a program contains a data race if it contains two conflicting actions in different threads, at least one of which is not atomic, and neither happens before the other. Any such data race results in undefined behavior."


Repository:
  rL LLVM

https://reviews.llvm.org/D37463