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

void
f (void)
{
  void *p = &&a; /* { dg-warning "taking the address of a label is non-standard" } */
  goto *p; /* { dg-warning "ISO C forbids 'goto \\*expr;'" } */
 a: ;
}