[RFC] Adjusted VRP

[Yury Gribov]

On 10/30/2014 01:27 PM, Richard Biener wrote:
> Well, VRP is not path-insensitive - it is the value-ranges we are able
> to retain after removing the ASSERT_EXPRs VRP inserts.
>
> Why can't you do the ASAN optimizations in the VRP transform phase?

I think this is not Asan-specific: Marat's point was that allowing 
basic-block-precise ranges would generally allow middle-end to produce 
better code.

-Y