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

[aph at gcc dot gnu dot org]

------- Comment #2 from aph at gcc dot gnu dot org  2009-04-23 15:47 -------
typedef struct
{
  int length;
  int data[];
} t_m;

t_m *m;

int foo()
{
  int val = 0;
  int i;

  for (i = 0; i < m->length; i++)
    {
#ifdef BORKED
      if ((unsigned int)i >= (unsigned int)m->length)
#else
      if (i >= m->length || i < 0)
#endif
        abort();
      val += m->data[i];
    }
  return val;
}


-- 


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