volatile指定変数のload/storeが、正しくsync系の命令や、ordered命令に
ならない処理系は確かにあるよ。
結構有名なUnix系のコンパイラでもね。