https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81140
--- Comment #1 from DB <db0451 at gmail dot com> --- Hm, in fact, I'm not sure the GCC/g++ docs ever address what happens when a declared non-volatile object is accessed through a volatile-qualified reference/pointer, which by my understanding is the crux of the NB issue. So maybe we need a totally new clause in the documentation.