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