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