xref: /illumos-gate/usr/src/tools/smatch/src/validation/goto-label.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
1 void foo(void)
2 {
3 	goto a;
4 a:
5 a:
6 	return;
7 }
8 
9 void g(void)
10 {
11 	goto a;
12 a:
13 	return;
14 }
15 
16 void bar(void)
17 {
18 	goto neverland;
19 }
20 
21 /*
22  * check-name: goto labels
23  *
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
28  */
29 
30