1static void ok_top(void)
2{
3	__label__ l;
4l:
5	goto l;
6}
7
8static void ko_undecl(void)
9{
10	__label__ l;
11	goto l;				// KO: undeclared
12}
13
14static void ok_local(void)
15{
16l:
17	{
18		__label__ l;
19l:
20		goto l;
21	}
22goto l;
23}
24
25static void ko_scope(void)
26{
27	{
28		__label__ l;
29l:
30		goto l;
31	}
32goto l;					// KO: undeclared
33}
34
35/*
36 * check-name: label-scope1
37 *
38 * check-error-start
39label-scope1.c:11:9: error: label 'l' was not declared
40label-scope1.c:32:1: error: label 'l' was not declared
41 * check-error-end
42 */
43