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