1  /* Test diagnostics for label declarations.  Test with
       2     -pedantic-errors.  */
       3  /* Origin: Joseph Myers <joseph@codesourcery.com> */
       4  /* { dg-do compile } */
       5  /* { dg-options "-pedantic-errors" } */
       6  
       7  typedef int b;
       8  
       9  void
      10  f (void)
      11  {
      12    __label__ a, b, c, d;
      13    /* { dg-error "ISO C forbids label declarations" "label decls" { target *-*-* } .-1 } */
      14    __extension__ (void)&&d; /* { dg-error "label 'd' used but not defined" } */
      15    goto c; /* { dg-error "label 'c' used but not defined" } */
      16   a: (void)0;
      17   b: (void)0;
      18  }