1f08c3bdfSopenharmony_civoid aft(void)
2f08c3bdfSopenharmony_ci{
3f08c3bdfSopenharmony_ci	({
4f08c3bdfSopenharmony_cil:		 1;
5f08c3bdfSopenharmony_ci	});
6f08c3bdfSopenharmony_ci	goto l;				// KO
7f08c3bdfSopenharmony_ci}
8f08c3bdfSopenharmony_ci
9f08c3bdfSopenharmony_civoid bef(void)
10f08c3bdfSopenharmony_ci{
11f08c3bdfSopenharmony_ci	goto l;				// KO
12f08c3bdfSopenharmony_ci	({
13f08c3bdfSopenharmony_cil:		 1;
14f08c3bdfSopenharmony_ci	});
15f08c3bdfSopenharmony_ci}
16f08c3bdfSopenharmony_ci
17f08c3bdfSopenharmony_civoid lab(void)
18f08c3bdfSopenharmony_ci{
19f08c3bdfSopenharmony_ci	__label__ l;
20f08c3bdfSopenharmony_ci	({
21f08c3bdfSopenharmony_cil:		 1;
22f08c3bdfSopenharmony_ci	});
23f08c3bdfSopenharmony_ci	goto l;				// KO
24f08c3bdfSopenharmony_ci}
25f08c3bdfSopenharmony_ci
26f08c3bdfSopenharmony_ci/*
27f08c3bdfSopenharmony_ci * check-name: label-stmt-expr0
28f08c3bdfSopenharmony_ci * check-command: sparse -Wno-decl $file
29f08c3bdfSopenharmony_ci *
30f08c3bdfSopenharmony_ci * check-error-start
31f08c3bdfSopenharmony_cilabel-stmt-expr0.c:6:9: error: label 'l' used outside statement expression
32f08c3bdfSopenharmony_cilabel-stmt-expr0.c:4:1:    label 'l' defined here
33f08c3bdfSopenharmony_cilabel-stmt-expr0.c:11:9: error: label 'l' used outside statement expression
34f08c3bdfSopenharmony_cilabel-stmt-expr0.c:13:1:    label 'l' defined here
35f08c3bdfSopenharmony_cilabel-stmt-expr0.c:23:9: error: label 'l' used outside statement expression
36f08c3bdfSopenharmony_cilabel-stmt-expr0.c:21:1:    label 'l' defined here
37f08c3bdfSopenharmony_ci * check-error-end
38f08c3bdfSopenharmony_ci */
39