[splint.git] / test / merge.out


Cannot find standard library: ansi.lcd
     Check LARCH_PATH environment variable.
merge.c: (in function f1)
merge.c:13:11: Unrecognized identifier: NULL
merge.c:14:22: Unrecognized identifier: free
merge.c: (in function f2)
merge.c:33:4: Dereference of possibly null pointer y: *y
   merge.c:21:12: Storage y may become null
merge.c: (in function f3)
merge.c:51:4: Dereference of possibly null pointer y: *y
   merge.c:50:7: Storage y may become null

Finished LCLint checking --- 4 code errors found, expected 3
Commit	Line	Data
885824d3	1
e12110be	2	Cannot find standard library: ansi.lcd
	3	Check LARCH_PATH environment variable.
	4	merge.c: (in function f1)
	5	merge.c:13:11: Unrecognized identifier: NULL
	6	merge.c:14:22: Unrecognized identifier: free
885824d3	7	merge.c: (in function f2)
885824d3	8	merge.c:33:4: Dereference of possibly null pointer y: *y
	9	merge.c:21:12: Storage y may become null
	10	merge.c: (in function f3)
	11	merge.c:51:4: Dereference of possibly null pointer y: *y
	12	merge.c:50:7: Storage y may become null
	13
e12110be	14	Finished LCLint checking --- 4 code errors found, expected 3