https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89195
--- Comment #10 from Wilco <wilco at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #8) > Created attachment 45606 [details] > gcc9-pr89195.patch > > Now in patch form (untested so far). That works fine indeed. It avoids accessing the object out of bounds but still allows the optimization for eg. i:16 using a 16-bit access within the struct.