https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110743
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> --- Another option might be to pattern match _1 = a; a = _1; from uninit and suppress diagnostics about that (allowing | and & modifications).
