------- Comment #21 from bernds at gcc dot gnu dot org 2010-06-28 17:50 -------
The patch that was committed (especially the cse.c exp_equiv_p part) seems like
a big hammer, and it does cause missed optimization opportunities.
Reverting it on gcc-4.1-branch, and instead applying the patch for PR41033,
also gives a compiler that correctly compiles this testcase.
PR41033 adds a test for flag_strict_aliasing to nonverlapping_component_refs_p,
which corrects the return value for canon_true_dependence mentioned in comment
#9.
Steven, are you certain that this patch is necessary in light of this?
--
bernds at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25130
