function_hooks/unwind: introduce return_implies_exact()
[smatch.git] / validation / label-scope2.c
blob448647528dc6d5e7ef2b4f8fd14d49403ce0a7be
1 static void ok_lvl2(void)
3 __label__ l;
6 l:
7 goto l;
11 static void ko_expr2(void)
14 __label__ a;
19 });
20 goto a;
25 * check-name: label-scope2
27 * check-error-start
28 label-scope2.c:20:17: error: label 'a' used outside statement expression
29 label-scope2.c:17:1: label 'a' defined here
30 * check-error-end