]> andersk Git - splint.git/blob - test/merge.out
03f868aa175eb3cb809ab35b780635ef1d03b5f0
[splint.git] / test / merge.out
1
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
7 merge.c: (in function f2)
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
14 Finished LCLint checking --- 4 code errors found, expected 3
This page took 0.02384 seconds and 3 git commands to generate.