1 /* { dg-do run } */
2 
3 int a, b[2];
4 
5 int
main()6 main ()
7 {
8 lbl:
9   for (; a; a--)
10     if (b[10000])
11       goto lbl;
12 
13   return 0;
14 }
15