https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93946
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 47922 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47922&action=edit patch I am testing This is what I have now. Got to factor out that alias set. In VN consider passing ao_ref everywhere, the order of set, base-set is easy to get wrong since there's no type safety.