It's the reverse: the compiler can (trivially, in the absence of atomic operations), that data races haven't happend and and optimise accordingly.
It's the reverse: the compiler can (trivially, in the absence of atomic operations), that data races haven't happend and and optimise accordingly.