1 /* { dg-require-effective-target label_values } */
2 /* { dg-require-effective-target trampolines } */
3
s(i)4 s(i){if(i>0){__label__ l1;int f(int i){if(i==2)goto l1;return 0;}return f(i);l1:;}return 1;}
x()5 x(){return s(0)==1&&s(1)==0&&s(2)==1;}
main()6 main(){if(x()!=1)abort();exit(0);}
7