This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug rtl-optimization/50063] [4.6/4.7 Regression] DSE: wrong code for gcc.dg/torture/pta-ptrarith-3.c
- From: "gjl at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 22 Dec 2011 00:03:08 +0000
- Subject: [Bug rtl-optimization/50063] [4.6/4.7 Regression] DSE: wrong code for gcc.dg/torture/pta-ptrarith-3.c
- Auto-submitted: auto-generated
- References: <bug-50063-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50063
Georg-Johann Lay <gjl at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |denisc at gcc dot gnu.org
--- Comment #18 from Georg-Johann Lay <gjl at gcc dot gnu.org> 2011-12-22 00:03:08 UTC ---
>From what you wrote the internals documentation need to be fixed, i.e. there
should be a disclaimer in expand_prologue documentation that SP=FP is an
illegal configuration that breaks GCC.
Moreover there is:
> FIND_BASE_TERM (x): It is always safe for this macro to not be defined.
Which is obviously wrong.
I don't know enough of alias internals, but I get more and more the impression
that implementing FIND_BASE_TERM is just working around problem in generic code
and instead of backend hacking around it the generic code should be made
robust.
At the moment I tend to deactivate malicous pass(es) in the backend until they
use robust approach and don't value performance higher than correctness.