param_key: fix container of when no struct member is referenced
[smatch.git] / validation / label-stmt-expr2.c
blob8c54477a4cc3acae03853cac5f1c83932c77cca5
1 static int foo(void)
3 goto l;
4 ({
5 l:
6 0;
7 });
8 goto l;
11 static void bar(void)
13 goto l;
14 goto l;
18 });
21 static void baz(void)
26 });
27 goto l;
28 goto l;
32 * check-name: label-stmt-expr2
34 * check-error-start
35 label-stmt-expr2.c:3:9: error: label 'l' used outside statement expression
36 label-stmt-expr2.c:5:1: label 'l' defined here
37 label-stmt-expr2.c:8:9: error: label 'l' used outside statement expression
38 label-stmt-expr2.c:5:1: label 'l' defined here
39 label-stmt-expr2.c:13:9: error: label 'l' used outside statement expression
40 label-stmt-expr2.c:16:1: label 'l' defined here
41 label-stmt-expr2.c:27:9: error: label 'l' used outside statement expression
42 label-stmt-expr2.c:24:1: label 'l' defined here
43 label-stmt-expr2.c:28:9: error: label 'l' used outside statement expression
44 label-stmt-expr2.c:24:1: label 'l' defined here
45 * check-error-end