r276029 - /branches/ranger/gcc/tree-vrp.c

[aldyh@gcc.gnu.org]

Author: aldyh
Date: Sun Sep 22 17:10:20 2019
New Revision: 276029

URL: https://gcc.gnu.org/viewcvs?rev=276029&root=gcc&view=rev
Log:
RSHIFT by [SYM, INT] is dropped to varying in VRP, but range-ops can normalize this to [0, INT]
which can sometimes give better results.  Adjust the checking code to ignore this
discrepancy.

Modified:
    branches/ranger/gcc/tree-vrp.c