[Bug tree-optimization/39870] VRP can't see through cast to unsigned

[ebotcazou at gcc dot gnu dot org]

------- Comment #10 from ebotcazou at gcc dot gnu dot org  2009-04-23 16:49 
-------
> Eric, fold only does it for constant C1 and C2 in "a >= C1 && a <= C2", not 
> for
> variable C1 and C2.

Yes, but this fools VRP the same way.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39870