https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35309
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- THe original testcase in comment #0 is now fixed but the following is not: struct A { int f[16]; } ag, ag2,ag3; struct A foo(int n) { if (n) { ag2 = ag; } return ag; }