1  /* { dg-do run } */
       2  
       3  unsigned a, b;
       4  int main()
       5  {
       6    unsigned c = 0;
       7    for (a = 0; a < 2; a++)
       8      for (b = 0; b < 2; b++)
       9        if (++c < a)
      10  	__builtin_abort ();
      11    return 0;
      12  }