Nobody said the (potential) bug was anywhere else. But declaring that variable as volatile would deoptimize things much more than is necessary. Rather than do that, the developers involved used ACCESS_ONCE() and things work as they should.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds