conditions: use set_extra_expr_mod() to change extra states
[smatch.git] / validation / goto-label.c
blob1196fdef9b261bcaa650d4103c7b1a3bc14577ba
1 void foo(void)
3 goto a;
4 a:
5 a:
6 return;
9 void g(void)
11 goto a;
13 return;
16 void bar(void)
18 goto neverland;
22 * check-name: goto labels
24 * check-error-start
25 goto-label.c:5:1: error: label 'a' redefined
26 goto-label.c:18:9: error: label 'neverland' was not declared
27 * check-error-end