gcc/testsuite/gcc.c-torture/compile/20050510-1.c

/* { dg-require-effective-target indirect_jumps } */
/* { dg-require-effective-target label_values } */

void dont_remove (void);

void bar (int k)
{
  void *label = (k) ? &&x : &&y;
  if (k)
    goto *label;

x:
  if (k)
    dont_remove ();
y:
  return;
}