]> andersk Git - splint.git/blob - test/clauses.out
51236e3975d573cfa7686edacd9b935ae521abd5
[splint.git] / test / clauses.out
1
2 Cannot find standard library: ansi.lcd
3      Check LARCH_PATH environment variable.
4 clauses.c: (in function f)
5 clauses.c:5:7: Unrecognized identifier: free
6 clauses.c:22:12: Only storage x not released before return
7    clauses.c:1:23: Storage x becomes only
8 clauses.c:22:12: Only storage y not released before return
9    clauses.c:1:42: Storage y becomes only
10 clauses.c:22:12: Only storage z not released before return
11    clauses.c:1:61: Storage z becomes only
12 clauses.c:22:12: Only storage z2 not released before return
13    clauses.c:1:80: Storage z2 becomes only
14
15 Finished LCLint checking --- 5 code errors found, expected 4
This page took 0.022772 seconds and 3 git commands to generate.