On Thu, Oct 17, 2019 at 03:15:28AM -0400, Aldy Hernandez wrote:
> On 10/16/19 3:46 AM, Jakub Jelinek wrote:
> > On Wed, Oct 16, 2019 at 03:38:38AM -0400, Aldy Hernandez wrote:
> > > Would you take care of this, or shall I?
> >
> > Will defer to you, I have quite a lot of stuff on my plate ATM.
> >
> > Jakub
> >
>
> No problem. Thanks for your analysis though.
>
> The attached patch fixes the regression.
>
> OK pending tests?
> gcc/
>
> PR tree-optimization/92131
> * tree-vrp.c (value_range_base::dump): Display +INF for both
> pointers and integers when appropriate.
>
> gcc/testsuite/
>
> * gcc.dg/tree-ssa/evrp4.c: Check for +INF instead of -1.
LGTM.
Jakub
