https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102916
--- Comment #6 from Darrell Wright <Darrell.Wright at gmail dot com> --- Right, mostly it can fall under as-if(if it wasn't explicitly disallowed) but because it's observable it can lead to some interesting behaviour differences when libstdc++ is compiled with gcc and clang.