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  
       6  void 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  
      20  int 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
      34  int main () { exit (0); }
      35  #endif