1  /* Test diagnostics for addresses of labels and computed gotos.  Test
       2     with -pedantic.  */
       3  /* Origin: Joseph Myers <joseph@codesourcery.com> */
       4  /* { dg-do compile } */
       5  /* { dg-options "-pedantic" } */
       6  /* { dg-require-effective-target indirect_jumps } */
       7  /* { dg-require-effective-target label_values } */
       8  
       9  void
      10  f (void)
      11  {
      12    void *p = &&a; /* { dg-warning "taking the address of a label is non-standard" } */
      13    goto *p; /* { dg-warning "ISO C forbids 'goto \\*expr;'" } */
      14   a: ;
      15  }