https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68337
--- Comment #2 from Ilya Enkovich <ienkovich at gcc dot gnu.org> --- I found another related problem. If we copy a couple of pointers using memcpy, it may be inlined as a copy of a single wide integer. Thus we also may loose bounds due to memcpy inlining.