https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96522
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 49137 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49137&action=edit patch The same holds true for copying alignment. I don't think SLSR is "safe" here since it also picks a new base from possibly outside of a controlling stmt. But obviously transfering alignment is important - but we could implement this by adjusting the access type instead. I'm quite sure non-nullness isn't so important. Now, misalignment info isn't easy to transfer in the generic routine. I'm going to test the attached. [for backporting the MR_DEPENDENCE hunk can be stripped]
