https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82282
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Depends on|82177 |65752 --- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- I think elsewhere I noted that propagating an equivalency is likely what makes those cases appear. In this cases it would be phiopt. Still not doing that would have some bad effects on optimization. Referenced Bugs: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752 [Bug 65752] Too strong optimizations int -> pointer casts https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82177 [Bug 82177] Alias analysis too aggressive with integer-to-pointer cast