https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124905
--- Comment #5 from Richard Earnshaw <rearnsha at gcc dot gnu.org> --- The key there is 'as if'. If a real program cannot detect that overrun happened, then it's perfectly OK to do so. It's permissible to assume normal memory (no volatile side effects).
