https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96564
--- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note I don't think you really need exact aliasing information to optimize this though. See PR 109119 for an example where you just need to know on the path where PRE adds the load, the two addresses are equal due to the condition.
