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

[aph at gcc dot gnu dot org]

------- Comment #1 from aph at gcc dot gnu dot org  2009-04-23 15:46 -------
Sorry, typo'd the first expression.  Should be

  if ((unsigned)i >= (unsigned)length)
    abort();


-- 


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