mem_model.1: semantics of data race
But, since the program has a data race, aren't the semantics completely unspecified?
Can you really conclude that x could be 2 or 5?
Discussion on the OpenMP specification run by the OpenMP ARB. OpenMP and the OpenMP logo are registered trademarks of the OpenMP Architecture Review Board in the United States and other countries. All rights reserved.