1  /* Test diagnostics for addresses of labels and computed gotos.  Test
       2     with no special options.  */
       3  /* Origin: Joseph Myers <joseph@codesourcery.com> */
       4  /* { dg-do compile } */
       5  /* { dg-options "" } */
       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;
      13    goto *p;
      14   a: ;
      15  }