[splint.git] / test / clauses.out


Cannot find standard library: ansi.lcd
     Check LARCH_PATH environment variable.
clauses.c: (in function f)
clauses.c:5:7: Unrecognized identifier: free
clauses.c:22:12: Only storage x not released before return
   clauses.c:1:23: Storage x becomes only
clauses.c:22:12: Only storage y not released before return
   clauses.c:1:42: Storage y becomes only
clauses.c:22:12: Only storage z not released before return
   clauses.c:1:61: Storage z becomes only
clauses.c:22:12: Only storage z2 not released before return
   clauses.c:1:80: Storage z2 becomes only

Finished LCLint checking --- 5 code errors found, expected 4
Commit	Line	Data
885824d3	1
e12110be	2	Cannot find standard library: ansi.lcd
e12110be	3	Check LARCH_PATH environment variable.
885824d3	4	clauses.c: (in function f)
e12110be	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
885824d3	14
e12110be	15	Finished LCLint checking --- 5 code errors found, expected 4