test/null.out

   1
   2 Cannot find standard library: ansi.lcd
   3      Check LARCH_PATH environment variable.
   4 null1.c: (in function ptrpred)
   5 null1.c:7:16: Unrecognized identifier: NULL
   6 null1.c: (in function f)
   7 null1.c:12:19: Unrecognized identifier: malloc
   8 null1.c:19:20: Implicitly temp storage x returned as only: x
   9 null1.c:19:20: Possibly null storage x returned as non-null: x
  10    null1.c:10:35: Storage x may become null
  11 null1.c:32:3: Unrecognized identifier: free
  12 null1.c:39:14: Dereference of null pointer z: *z
  13    null1.c:25:7: Storage z becomes null
  14 null1.c:67:10: Possibly null storage z returned as non-null: z
  15    null1.c:25:7: Storage z may become null
  16
  17 Finished LCLint checking --- 7 code errors found, expected 14