[Bug middle-end/36143] [4.4 Regression]: FAIL: g++.dg/tree-ssa/pr19637.C

[rguenth at gcc dot gnu dot org]

------- Comment #13 from rguenth at gcc dot gnu dot org  2008-12-03 15:33 -------
We should be able to go via a VIEW_CONVERT_EXPR when propagating (struct Foo *)
&i
into the LHS dereference D.2279_5->i[0].  That is, convert that to

  VIEW_CONVERT_EXPR <struct Foo> (i)->i[0]

and further fold that by noting that the final access is at offset zero and
of the same type as i.  (or more generally, for a final offset zero access
always strip all component-refs and fold to
VIEW_CONVERT_EXPR <final-access-type> (i)).


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36143