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        if (c < b)
      11  	__builtin_abort ();
      12        c+=3;
      13      }
      14    return 0;
      15  }