gcc/testsuite/gcc.dg/comp-goto-1.c

/* Test diagnostics for addresses of labels and computed gotos.  Test
   with no special options.  */
/* Origin: Joseph Myers <joseph@codesourcery.com> */
/* { dg-do compile } */
/* { dg-options "" } */
/* { dg-require-effective-target indirect_jumps } */
/* { dg-require-effective-target label_values } */

void
f (void)
{
  void *p = &&a;
  goto *p;
 a: ;
}