1  /* { dg-do compile } */
       2  /* { dg-options "-Wunused-label" } */
       3  
       4  extern void f2 ();
       5  
       6  void
       7  f1 ()
       8  {
       9   l1: f2 ();				/* { dg-warning "not used" } */
      10   l2: __attribute__ ((unused)) f2 ();
      11   l3: ; f2 ();				/* { dg-warning "not used" } */
      12   l4: __attribute__ ((unused)) ; f2 ();
      13  }