I'm of the general opinion that what people think volatile does vs. what the compiler really does is quite different. Perhaps the situation has improved since this paper appeared.

https://www.cs.utah.edu/~regehr/papers/emsoft08-preprint.pdf