------- Comment #33 from rguenth at gcc dot gnu dot org 2006-02-14 15:40 ------- The attached patch is bogus, and a correct one doesn't fix the first testcase (as the attached one didn't, too). As analyzed previously, expand does not deal with
void g(A*) (a) { struct A D.2007; <bb 2>: D.2007 = *a_1; f (D.2007) [tail call]; return; } and TER doesn't produce (non-gimple) f (*a). Still TER looks like the only place where we could get this fixed, because we still have dataflow information left. Also a real struct copyprop pass will not help here. As TER / outof-ssa is not something I want to look into, unassigning this. -- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|rguenth at gcc dot gnu dot |unassigned at gcc dot gnu |org |dot org Status|ASSIGNED |NEW http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23372