]>
Commit | Line | Data |
---|---|---|
86d93ed3 | 1 | |
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 | |
8 | ||
9 | Finished checking --- 5 code warnings, as expected | |
10 | ||
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 | |
19 | ||
20 | Finished checking --- 2 code warnings, as expected | |
21 | ||
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 | |
31 | ||
32 | Finished checking --- 3 code warnings, as expected | |
33 | ||
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 | |
41 | ||
42 | Finished checking --- 3 code warnings, as expected |