1  /* Test diagnostics for duplicate label declarations.  */
       2  /* Origin: Joseph Myers <joseph@codesourcery.com> */
       3  /* { dg-do compile } */
       4  /* { dg-options "" } */
       5  
       6  void
       7  f (void)
       8  {
       9    __label__ a, b, a; /* { dg-error "duplicate label declaration 'a'" } */
      10    /* { dg-message "note: previous declaration of 'a'" "previous" { target *-*-* } .-1 } */
      11    __label__ c; /* { dg-message "note: previous declaration of 'c'" "note" } */
      12    __label__ c; /* { dg-error "duplicate label declaration 'c'" } */
      13    return;
      14  }