------- Comment #1 from rguenth at gcc dot gnu dot org 2009-09-09 15:01 -------
What is now needed is that forwprop takes
a_12 = (int[0:D.2718] *) p_11(D);
q_13 = (int *) a_12;
D.2724_14 = q_13 + 4;
D.2723_15 = *D.2724_14;
and should propagate (int *) a_12 via q_13 + 4 into the dereference. It can
do the reconstruction on-the-fly during propagation if we make sure we only
ever propagate into dereferences.
The testcases were new in 4.5, so not a regression after all.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2009-09-09 15:01:19
date| |
Summary|[4.5 Regression] XFAIL |XFAIL gcc.dg/tree-
|gcc.dg/tree-ssa/forwprop- |ssa/forwprop-1[12].c
|1[12].c |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41320
