1 /* { dg-do compile } */
2 /* { dg-options "-O3" } */
3 /* { dg-require-effective-target label_values } */
4 
5 extern int a[16];
f(int * ip,int x)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 }
16