> On Wed, Nov 07, 2012 at 03:39:15PM +0100, Martin Jambor wrote: > > another bootstrap finishes. I'm not sure if it would be OK to commit > > it now, given it is stage3, though. OTOH, I think it would be worth > > it. > > I'm ok with getting that in now from RM POV, but not familiar with the > code enough to review it. So, if somebody acks it (Honza?), it can be > added. > > > 2012-11-07 Martin Jambor <mjam...@suse.cz> > > > > * ipa-prop.c (determine_known_aggregate_parts): Skip writes to > > different declarations when tracking writes to a declaration. > > > > Index: src/gcc/ipa-prop.c > > =================================================================== > > --- src.orig/gcc/ipa-prop.c > > +++ src/gcc/ipa-prop.c > > @@ -1318,7 +1318,12 @@ determine_known_aggregate_parts (gimple > > break; > > } > > else if (lhs_base != arg_base) > > - break; > > + { > > + if (DECL_P (lhs_base)) > > + continue; > > + else > > + break; > > + }
OK, so the point of patch is to not stop on writes to decls while looking for value the field is initialized to? It looks OK. Thanks, Honza > > > > if (lhs_offset + lhs_size < arg_offset > > || lhs_offset >= (arg_offset + arg_size)) > > Jakub