https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117498
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Maybe lim thinks that accesses to automatic variables can't trap, but this is 1) partially out of bounds access 2) with larger alignment than the object has