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.