https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97172
--- Comment #12 from Richard Biener <rguenth at gcc dot gnu.org> --- unsharing the tree is correct AFAICS, avoiding the attribute for VLA types would likely also be good (are those handled in any reasonable way?). Note nothing will update those SSA names so they should not creep in there in the first place (and do so from gimplifying).