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