[Bug tree-optimization/80617] [missed optimization] Storing constant in two possibly-aliased locations

[glisse at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80617

--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> ---
  MEM[(void * &)a_2(D)] = 0B;
  MEM[(void * &)b_3(D)] = 0B;
  _7 = MEM[(void * &)a_2(D)];

Indeed.