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