https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65206
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Adding some flag on the MASK_STORE or MASK_LOAD is not hard, it can be in another argument, or some GF_*, whatever. But I don't understand here what is the difference between originally pointer based and array based access. Doesn't for non-masked stores or loads forwprop propagate array accesses into pointer stores/loads anyway?
