[Bug tree-optimization/92131] [8/9/10 Regression] incorrect assumption that (ao >= 0) is always false

[aldyh at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92131

--- Comment #17 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
Author: aldyh
Date: Thu Oct 17 12:38:38 2019
New Revision: 277107

URL: https://gcc.gnu.org/viewcvs?rev=277107&root=gcc&view=rev
Log:
        PR tree-optimization/92131
        * tree-vrp.c (value_range_base::dump): Display +INF for both
        pointers and integers when appropriate.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tree-ssa/evrp4.c
    trunk/gcc/tree-vrp.c