1  /* { dg-do run } */
       2  
       3  int a = 0;
       4  unsigned char b = 0;
       5  
       6  int main() {
       7    a - 6;
       8    for (; a >= -13; a = a - 8)
       9      while((unsigned char)(b-- * 6))
      10        ;
      11    if (b != 127)
      12      __builtin_abort();
      13    return 0;
      14  }