[PATCH] Fix a bug that propagation in recursive function uses wrong aggregate lattice (PR ipa/93084)

[Jeff Law]

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  <fxue@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
>