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

[bonzini at gnu dot org]

------- Comment #8 from bonzini at gnu dot org  2009-04-23 16:10 -------
Eric, fold only does it for constant C1 and C2 in "a >= C1 && a <= C2", not for
variable C1 and C2.  in fact, in the other case it would be illegal to do the
transformation.  the front-end can do it because it knows that m->length is
positive.


-- 


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