https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121726
--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> --- So I believe that when we allow an ADDR_EXPR for a call argument then we have to disqualify the scalarization iff not all stores(!) were done using the effective alias-set of the base (IIRC modref records more than just alias-set). So after we build all accesses we have to perform such check (or when possibly merging accesses).
