test/specclauses.out

   1
   2 Cannot find standard library: ansi.lcd
   3      Check LARCH_PATH environment variable.
   4 specclauses.c: (in function f)
   5 specclauses.c:24:28: Only storage r.name (type char *) derived from variable
   6                         declared in this scope is not released (memory leak)
   7 specclauses.c:28:24: Undefined storage r.name corresponds to storage listed in
   8                         uses clause of called function: r
   9 specclauses.c:28:28: Only storage name not released before return
  10    specclauses.c:17:49: Storage name becomes only
  11 specclauses.c:32:16: Unrecognized identifier: malloc
  12 specclauses.c:33:16: Allocated storage r.name corresponds to storage listed in
  13                         defines clause of called function: &r
  14 specclauses.c:34:17: Only storage r.name (type char *) derived from variable
  15                         declared in this scope is not released (memory leak)
  16 specclauses.c:40:7: Unrecognized identifier: printf
  17 specclauses.c:40:7: Field r.name used after being released
  18    specclauses.c:39:17: Storage r.name released
  19
  20 Finished LCLint checking --- 8 code errors found, expected 6