Subversion Repositories openrisc

/* "i" overflows in f().  Check that x[i] is not treated as a giv.  */

/* "i" overflows in f().  Check that x[i] is not treated as a giv.  */

#include <limits.h>

#include <limits.h>

#if CHAR_BIT == 8

#if CHAR_BIT == 8

void f (unsigned int *x)

void f (unsigned int *x)

{

{

  unsigned char i;

  unsigned char i;

  int j;

  int j;

  i = 0x10;

  i = 0x10;

  for (j = 0; j < 0x10; j++)

  for (j = 0; j < 0x10; j++)

    {

    {

      i += 0xe8;

      i += 0xe8;

      x[i] = 0;

      x[i] = 0;

      i -= 0xe7;

      i -= 0xe7;

    }

    }

}

}

int main ()

int main ()

{

{

  unsigned int x[256];

  unsigned int x[256];

  int i;

  int i;

  for (i = 0; i < 256; i++)

  for (i = 0; i < 256; i++)

    x[i] = 1;

    x[i] = 1;

  f (x);

  f (x);

  for (i = 0; i < 256; i++)

  for (i = 0; i < 256; i++)

    if (x[i] != (i >= 0x08 && i < 0xf8))

    if (x[i] != (i >= 0x08 && i < 0xf8))

      abort ();

      abort ();

  exit (0);

  exit (0);

}

}

#else

#else

int main () { exit (0); }

int main () { exit (0); }

#endif

#endif