1  /* { dg-do run } */
       2  /* { dg-options "-O3" } */
       3  
       4  signed char a;
       5  short b;
       6  
       7  int main ()
       8  {
       9    for (a = 3; a != -1; a -= 5)
      10      while (b)
      11        ;
      12    return 0;
      13  }