]> andersk Git - splint.git/blob - test/specclauses.out
Made some additional changes to the makefile. Now it builds correctly.
[splint.git] / test / specclauses.out
1 gmake[3]: Entering directory `/tmp/LCLintDev/test'
2
3 Cannot find standard library: ansi.lcd
4      Check LARCH_PATH environment variable.
5 specclauses.c: (in function f)
6 specclauses.c:24:28: Only storage r.name (type char *) derived from variable
7                         declared in this scope is not released (memory leak)
8 specclauses.c:28:24: Undefined storage r.name corresponds to storage listed in
9                         uses clause of called function: r
10 specclauses.c:28:28: Only storage name not released before return
11    specclauses.c:17:49: Storage name becomes only
12 specclauses.c:32:16: Unrecognized identifier: malloc
13 specclauses.c:33:16: Allocated storage r.name corresponds to storage listed in
14                         defines clause of called function: &r
15 specclauses.c:34:17: Only storage r.name (type char *) derived from variable
16                         declared in this scope is not released (memory leak)
17 specclauses.c:40:7: Unrecognized identifier: printf
18 specclauses.c:40:7: Field r.name used after being released
19    specclauses.c:39:17: Storage r.name released
20
21 Finished LCLint checking --- 8 code errors found, expected 6
22 gmake[3]: *** [specclauses] Error 1
23 gmake[3]: Leaving directory `/tmp/LCLintDev/test'
This page took 0.169838 seconds and 5 git commands to generate.