| 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 |
andersk / splint.git / blame