[Bug tree-optimization/127201] dr_may_alias_p ignores DR_PTR_INFO, emitting runtime alias checks for provably disjoint references

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

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

--- Comment #3 from ptomsich at gcc dot gnu.org ---
We found the simplification as well when taking it through the final steps for
merging and remeasured: the second if was dead code.  I'll merge the simplified
version as soon as the regtest results are in for the new build and send as
COMMITTED.

Thanks to both of you.