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