On Tue, 2020-01-07 at 14:18 +0100, Martin Jambor wrote: > Hi, > > On Fri, Jan 03 2020, Feng Xue OS wrote: > > When checking a self-recursively generated value for aggregate jump > > function, wrong aggregate lattice was used, which will cause infinite > > constant propagation. This patch is composed to fix this issue. > > > > 2020-01-03 Feng Xue <f...@os.amperecomputing.com> > > > > PR ipa/93084 > > * ipa-cp.c (self_recursively_generated_p): Find matched aggregate > > lattice for a value to check. > > (propagate_vals_across_arith_jfunc): Add an assertion to ensure > > finite propagation in self-recursive scc. > > as far as I am concerned, the patch looks good. In that case, OK for the trunk :-)
jeff >