1/* { dg-require-effective-target label_values } */
2
3void f(int r1, int *fp)
4{
5  void *hlbl_tbl[] = { &&label1 };
6  goto *hlbl_tbl[r1];
7  *fp = 0;
8 label0:
9  fp += 8;
10 label1:
11  *fp = 0;
12  if (r1)
13    goto label2;
14  if (r1)
15    goto label0;
16 label2:
17  ;
18}
19
20int x;
21