| e12110be |
1 | gmake[3]: Entering directory `/tmp/LCLintDev/test' |
| 885824d3 |
2 | |
| e12110be |
3 | Cannot find standard library: ansi.lcd |
| 4 | Check LARCH_PATH environment variable. |
| 885824d3 |
5 | sharing1.c: (in function f) |
| 6 | sharing1.c:12:12: Only storage x not released before return |
| 7 | sharing1.c:8:24: Storage x becomes only |
| 8 | sharing1.c:13:2: Only storage x not released before return |
| 9 | sharing1.c:8:24: Storage x becomes only |
| 10 | sharing1.c: (in function f2) |
| 11 | sharing1.c:19:12: Only storage y not released before return |
| 12 | sharing1.c:15:43: Storage y becomes only |
| 13 | sharing1.c: (in function f3) |
| 14 | sharing1.c:24:3: Only storage x assigned to shared: globshared1 = x |
| 15 | sharing1.c:22:25: Storage x becomes only |
| 16 | sharing1.c:25:2: Only storage x not released before return |
| 17 | sharing1.c:22:25: Storage x becomes only |
| 18 | sharing1.c: (in function f4) |
| 80ee600a |
19 | sharing1.c:29:3: Only storage zonly (type int *) not released before |
| 20 | assignment: zonly = x |
| 885824d3 |
21 | sharing1.c:6:19: Storage zonly becomes only |
| 22 | sharing1.c: (in function g) |
| e12110be |
23 | sharing1.c:35:12: Unrecognized identifier: malloc |
| 885824d3 |
24 | sharing1.c:41:7: Implicitly temp storage imp passed as only param: f3 (imp) |
| 25 | sharing1.c:42:4: Variable imp used after being released |
| 26 | sharing1.c:41:7: Storage imp released |
| 27 | sharing1.c:44:12: Immediate address &x passed as only param: f (&x, ...) |
| 28 | sharing1.c:44:12: Parameter 1 (&x) to function f is declared only but is |
| 29 | aliased by parameter 2 (&x) |
| 885824d3 |
30 | sharing1.c:48:18: Parameter 2 (y3) to function f2 is declared only but is |
| 31 | aliased by parameter 1 (y3) |
| 32 | sharing1.c:50:4: Variable y3 used after being released |
| 33 | sharing1.c:48:18: Storage y3 released |
| 885824d3 |
34 | sharing1.c:52:12: Shared storage globshared1 passed as only param: |
| 35 | f (globshared1, ...) |
| 36 | sharing1.c:4:19: Storage globshared1 becomes shared |
| e12110be |
37 | sharing1.c:56:3: Unrecognized identifier: free |
| 885824d3 |
38 | sharing1.c:59:11: Variable y used after being released |
| 39 | sharing1.c:51:12: Storage y released |
| 885824d3 |
40 | |
| e12110be |
41 | Finished LCLint checking --- 16 code errors found, expected 21 |
| 42 | gmake[3]: *** [sharing] Error 1 |
| 43 | gmake[3]: Leaving directory `/tmp/LCLintDev/test' |
andersk / splint.git / blame