https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106817
--- Comment #4 from Mikael Morin <mikael at gcc dot gnu.org> --- (In reply to anlauf from comment #2) > I see: > > D.4225 = a + 1; > a = {CLOBBER}; > copy (&D.4225, &a); > > so I do not see any failure. With the testcase from comment #3, it becomes: a = {CLOBBER}; D.4223 = a + 1; copy (&a, &D.4223);