1  /* { dg-do compile } */
       2  /* { dg-options "-O3" } */
       3  /* { dg-require-effective-target label_values } */
       4  
       5  extern int a[16];
       6  void f (int *ip, int x)
       7  {
       8    int *xp = a;
       9    for (int i=0; i<8; ++i)
      10    {
      11      base: if (x) return;
      12    }
      13    *xp++ = *ip;
      14    goto *(&&base + *ip);
      15  }