1/* "i" overflows in f().  Check that x[i] is not treated as a giv.  */
2#include <limits.h>
3
4#if CHAR_BIT == 8
5
6void f (unsigned int *x)
7{
8  unsigned char i;
9  int j;
10
11  i = 0x10;
12  for (j = 0; j < 0x10; j++)
13    {
14      i += 0xe8;
15      x[i] = 0;
16      i -= 0xe7;
17    }
18}
19
20int main ()
21{
22  unsigned int x[256];
23  int i;
24
25  for (i = 0; i < 256; i++)
26    x[i] = 1;
27  f (x);
28  for (i = 0; i < 256; i++)
29    if (x[i] != (i >= 0x08 && i < 0xf8))
30      abort ();
31  exit (0);
32}
33#else
34int main () { exit (0); }
35#endif
36