1 gmake[3]: Entering directory `/tmp/LCLintDev/test'
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
21 Finished LCLint checking --- 8 code errors found, expected 6
22 gmake[3]: *** [specclauses] Error 1
23 gmake[3]: Leaving directory `/tmp/LCLintDev/test'