[Bug tree-optimization/122273] cselim-limited does not handle some cases where the aliasing seems the same

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Oh I missed that -alias also dumps it too:

  <bb 3> :
  # .MEM_18 = VDEF <.MEM_6(D)>
  *a_4(D) ={v} {CLOBBER(bob)};
  # .MEM_7 = VDEF <.MEM_18>
  MEM[(struct s1 *)a_4(D) clique 2 base 1].t = 1;
  goto <bb 5>; [INV]

  <bb 4> :
  # .MEM_9 = VDEF <.MEM_6(D)>
  *a_4(D) ={v} {CLOBBER(bob)};
  # .MEM_16 = VDEF <.MEM_9>
  MEM[(struct s1 *)a_4(D) clique 3 base 1].t = 0;