1/* PR sanitizer/64121 */
2/* { dg-do compile } */
3/* { dg-options "-fsanitize=undefined -Wno-pointer-arith" } */
4
5extern int tab[16];
6
7void
8execute (int *ip, int x)
9{
10  int *xp = tab;
11base:
12  if (x)
13    return;
14  *xp++ = *ip;
15  goto *(&&base + *ip);
16}
17