[Bug middle-end/40135] using alias-set zero for union accesses necessary because of RTL alias oracle

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Ok it still has in the function comment

   ???  Contrary to the tree alias oracle this does not return
   one for X + non-constant and Y + non-constant when X and Y are equal.
   If that is fixed the TBAA hack for union type-punning can be removed.  */

which explains what is remaining to do.