> Hi, > > this patch fixes PR 54409. The condition for dealing with offset maps > when remapping predicates which I have added recently was wrong, > fortunately a subsequent assert caught this. We cannot shift stuff by > an offset when it is passed by value. > > Conversely, the condition was unnecessarily restrictive, we can still > happily use non-aggregate and by-value conditions when offset map is > negative, that only means that by-ref stuff is not guaranteed to > survive.
Yeah, I wondered about this ;) > > Bootstrapped and tested on x86_64-linux. OK for trunk? > > Thanks, > > Martin > > > > 2012-08-30 Martin Jambor <mjam...@suse.cz> > > PR middle-end/54409 > * ipa-inline-analysis.c (remap_predicate): Fix the offset_map > checking condition. > > * gcc/testsuite/gcc.dg/torture/pr54409.c: New test. OK, thanks Honza