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).

Reply via email to