[patch] tree-vrp.c: Compute a correct range when adding twopointers.

[Giovanni Bajo]

Jeffrey A Law <law@redhat.com> wrote:

> If you want to do something interesting with VRP you might look at
> extracting ranges from BIT_AND_EXPRs -- that's relatively common and
> can often lead to further optimizations, particularly when the
> BIT_AND_EXPR turns off the sign bit or constrains a result to a
> smaller type.

That, and RSHIFT_EXPR.
-- 
Giovanni Bajo