[Bug tree-optimization/41320] XFAIL gcc.dg/tree-ssa/forwprop-1[12].c

2009-09-09 Thread rguenth at gcc dot gnu dot org
--- Comment #2 from rguenth at gcc dot gnu dot org 2009-09-09 15:04 --- Mine. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned

[Bug tree-optimization/41320] XFAIL gcc.dg/tree-ssa/forwprop-1[12].c

2009-09-09 Thread rguenth at gcc dot gnu dot org
--- 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 derefer