Subversion Repositories openrisc_me

/* "i" overflows in f().  Check that x[i] is not treated as a giv.  */
#include <limits.h>
 
#if CHAR_BIT == 8
 
void f (unsigned int *x)
{
  unsigned char i;
  int j;
 
  i = 0x10;
  for (j = 0; j < 0x10; j++)
    {
      i += 0xe8;
      x[i] = 0;
      i -= 0xe7;
    }
}
 
int main ()
{
  unsigned int x[256];
  int i;
 
  for (i = 0; i < 256; i++)
    x[i] = 1;
  f (x);
  for (i = 0; i < 256; i++)
    if (x[i] != (i >= 0x08 && i < 0xf8))
      abort ();
  exit (0);
}
#else
int main () { exit (0); }
#endif