On Apr 24, 2005, at 2:06 PM, Diego Novillo wrote:
What is the type of 'i'? If it's unsigned, then we would be
wasting our time.
It is signed, otherwise "i < 0" will always be true and the conditional
would have gotten rid of already.
-- Pinski
On Sun, Apr 24, 2005 at 05:56:50PM -, pinskia at gcc dot gnu dot org wrote:
>
> i_15: [1, 2147483647]
> i_16: [0, 2147483647]
> i_20: VARYING
>
> # i_20 = PHI ;
>
>
> Looks like VRP does not understand PHI functions or it just gives up too
> often.
>
i_15 and 0 have a non-empty interse
