This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/65752] Too strong optimizations int -> pointer casts
- From: "rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 20 Oct 2016 08:21:41 +0000
- Subject: [Bug tree-optimization/65752] Too strong optimizations int -> pointer casts
- Auto-submitted: auto-generated
- References: <bug-65752-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752
--- Comment #51 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Jeffrey A. Law from comment #50)
> Richi,
> I haven't followed this BZ at all, but I absolutely trust you on issues WRT
> alias analysis. If we can't propagate these conditional equivalences for
> pointers, I'll happily tweak DOM to avoid that.
Unfortunately it isn't that easy - even propagating equivalences for integers
may cause the same issue. And even if we fix all issues on GIMPLE we're
still left with the fundamental brokeness of RTL alias analysis (PR49330).