]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | cases.c: (in function f) | |
2209bcb7 | 3 | cases.c:12:10: Fall through case (no preceding break) |
885824d3 | 4 | cases.c:13:11: Variable i used before definition |
2209bcb7 | 5 | cases.c:30:10: Fall through case (no preceding break) |
6 | cases.c:37:13: Fall through case (no preceding break) | |
885824d3 | 7 | cases.c:40:2: Path with no return in function declared to return int |
8 | ||
11db3170 | 9 | Finished checking --- 5 code warnings, as expected |
885824d3 | 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. | |
16c024b5 | 14 | cases2.c:26:5: in one possible execution: |
15 | cases2.c:23:16: Storage x released | |
885824d3 | 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. | |
16c024b5 | 19 | cases2.c:37:5: in one possible execution: |
20 | cases2.c:36:16: Storage x released | |
885824d3 | 21 | |
11db3170 | 22 | Finished checking --- 2 code warnings, as expected |
885824d3 | 23 | |
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. | |
16c024b5 | 27 | cases2.c:26:5: in one possible execution: |
28 | cases2.c:23:16: Storage x released | |
885824d3 | 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. | |
16c024b5 | 32 | cases2.c:37:5: in one possible execution: |
33 | cases2.c:36:16: Storage x released | |
885824d3 | 34 | cases2.c:1:24: Function g declared but not defined |
35 | ||
11db3170 | 36 | Finished checking --- 3 code warnings, as expected |
885824d3 | 37 | |
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 | |
45 | ||
11db3170 | 46 | Finished checking --- 3 code warnings, as expected |