On Fri, Jul 29, 2011 at 1:46 AM, Richard Guenther wrote:
>
> I noticed that for binary expressions VRP contains the same bugs
> that CCP once did (it treats UNDEFINED * 0 as UNDEFINED). Then
> I noticed we never hit this bug because we never end up with
> any range being UNDEFINED - which is bad,
I noticed that for binary expressions VRP contains the same bugs
that CCP once did (it treats UNDEFINED * 0 as UNDEFINED). Then
I noticed we never hit this bug because we never end up with
any range being UNDEFINED - which is bad, because this way we miss
value-ranges for all conditionally initia
