db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / label-positioning.c
blob583661cab1fa0c5f356472993aa90c44701164c3
1 extern int someval(void);
3 static void func (int x)
5 if (x > someval())
6 goto end;
7 switch (x) { case 0: }
8 switch (x) { case 1 ... 9: }
9 switch (x) { default: }
10 end:
14 * check-name: label-positioning
16 * check-error-start
17 label-positioning.c:7:30: warning: statement expected after case label
18 label-positioning.c:8:36: warning: statement expected after case label
19 label-positioning.c:9:31: warning: statement expected after case label
20 label-positioning.c:11:1: warning: statement expected after label
21 * check-error-end