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