2 cases.c: (in function f)
3 cases.c:12:10: Fall through case (no preceding break)
4 cases.c:13:11: Variable i used before definition
5 cases.c:30:10: Fall through case (no preceding break)
6 cases.c:37:13: Fall through case (no preceding break)
7 cases.c:40:2: Path with no return in function declared to return int
9 Finished checking --- 5 code warnings, as expected
11 cases2.c: (in function f2)
12 cases2.c:26:5: Variable x is released in one possible execution, but live in
13 other possible execution.
14 cases2.c:23:16: Storage x is released
15 cases2.c: (in function f3)
16 cases2.c:37:5: Variable x is released in one possible execution, but live in
17 other possible execution.
18 cases2.c:36:16: Storage x is released
20 Finished checking --- 2 code warnings, as expected
22 cases2.c: (in function f2)
23 cases2.c:26:5: Variable x is released in one possible execution, but live in
24 other possible execution.
25 cases2.c:23:16: Storage x is released
26 cases2.c: (in function f3)
27 cases2.c:37:5: Variable x is released in one possible execution, but live in
28 other possible execution.
29 cases2.c:36:16: Storage x is released
30 cases2.c:1:24: Function g declared but not defined
32 Finished checking --- 3 code warnings, as expected
34 cases2.c: (in function f2)
35 cases2.c:28:12: Variable x used after being released
36 cases2.c:23:16: Storage x released
37 cases2.c: (in function f3)
38 cases2.c:39:12: Variable x used after being released
39 cases2.c:36:16: Storage x released
40 cases2.c:1:24: Function g declared but not defined
42 Finished checking --- 3 code warnings, as expected