https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114800
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note mod-ref does tells us that only f1, f3 are used here but DSE must have missed that for `= {}`. Note without the knowledge of foo, we still have a partial redundant zeroing happening due to padding being zeroed so that might not be considered redundant ...