1 /* { dg-require-effective-target label_values } */
main()2 main(){__label__ l;void*x(){return&&l;}goto*x();abort();return;l:exit(0);}
3