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:26:5: in one possible execution:
15 cases2.c:23:16: Storage x released
16 cases2.c: (in function f3)
17 cases2.c:37:5: Variable x is released in one possible execution, but live in
18 other possible execution.
19 cases2.c:37:5: in one possible execution:
20 cases2.c:36:16: Storage x released
22 Finished checking --- 2 code warnings, as expected
24 cases2.c: (in function f2)
25 cases2.c:26:5: Variable x is released in one possible execution, but live in
26 other possible execution.
27 cases2.c:26:5: in one possible execution:
28 cases2.c:23:16: Storage x released
29 cases2.c: (in function f3)
30 cases2.c:37:5: Variable x is released in one possible execution, but live in
31 other possible execution.
32 cases2.c:37:5: in one possible execution:
33 cases2.c:36:16: Storage x released
34 cases2.c:1:24: Function g declared but not defined
36 Finished checking --- 3 code warnings, as expected
38 cases2.c: (in function f2)
39 cases2.c:28:12: Variable x used after being released
40 cases2.c:23:16: Storage x released
41 cases2.c: (in function f3)
42 cases2.c:39:12: Variable x used after being released
43 cases2.c:36:16: Storage x released
44 cases2.c:1:24: Function g declared but not defined
46 Finished checking --- 3 code warnings, as expected