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