1  /* { dg-require-effective-target label_values } */
       2  
       3  extern int printk(const char *fmt, ...);
       4  
       5  void foo (int x, int y)
       6  {
       7    __label__ here;
       8    here:
       9    printk ("", &&here);
      10  }