test/db2.out

   1
   2 < reading spec employee.lcl >
   3 < reading spec eref.lcl >
   4 < reading spec empset.lcl >
   5 < reading spec ereftab.lcl >
   6 < reading spec erc.lcl >
   7 < reading spec dbase.lcl >
   8 < preprocessing >
   9 < checking employee.c >
  10 employee.c: (in function employee_setName)
  11 employee.c:14: Parameter 1 (e->name) to function strcpy is declared unique but
  12                   may be aliased externally by parameter 2 (na)
  13 < checking eref.c >
  14 eref.c: (in function eref_alloc)
  15 eref.c:19: Unqualified storage eref_Pool.conts passed as only param:
  16               realloc (eref_Pool.conts, ...)
  17 eref.c:29: Unqualified storage eref_Pool.status passed as only param:
  18               realloc (eref_Pool.status, ...)
  19 eref.c:45: Storage eref_Pool.status reachable from global is only (should be
  20               unqualified)
  21    eref.c:30: Storage eref_Pool.status becomes only
  22 eref.c:45: Storage eref_Pool.conts reachable from global is only (should be
  23               unqualified)
  24    eref.c:20: Storage eref_Pool.conts becomes only
  25 eref.c: (in function eref_initMod)
  26 eref.c:84: Storage eref_Pool.conts reachable from global is fresh (should be
  27               unqualified)
  28    eref.c:62: Fresh storage eref_Pool.conts allocated
  29 eref.c:84: Global storage *(eref_Pool.conts) contains 4 undefined fields when
  30               call returns: ssNum, salary, gen, j
  31 eref.c:84: Storage eref_Pool.status reachable from global is fresh (should be
  32               unqualified)
  33    eref.c:70: Fresh storage eref_Pool.status allocated
  34 eref.c:84: Global storage eref_Pool contains 1 undefined field when call
  35               returns: status
  36 < checking empset.c >
  37 < checking ereftab.c >
  38 < checking erc.c >
  39 erc.c: (in function erc_create)
  40 erc.c:33: Null storage c->vals derivable from return value: c
  41    erc.c:31: Storage c->vals becomes null
  42 erc.c:33: Fresh storage returned as unqualified (should be only): c
  43    erc.c:23: Fresh storage c allocated
  44 erc.c: (in function erc_clear)
  45 erc.c:49: Function returns with null storage derivable from parameter c->vals
  46    erc.c:47: Storage c->vals becomes null
  47 erc.c: (in function erc_final)
  48 erc.c:54: Implicitly temp storage c passed as only param: free (c)
  49 erc.c: (in function erc_delete)
  50 erc.c:102: Released storage c->vals reachable from parameter at return point
  51    erc.c:100: Storage c->vals is released
  52 erc.c: (in function erc_sprint)
  53 erc.c:141: Fresh storage returned as unqualified (should be only): result
  54    erc.c:122: Fresh storage result allocated
  55 *** Segmentation Violation
  56 *** Location (not trusted): erc.h:20
  57 *** Last code point: exprNode.c:8886
  58 *** Previous code point: exprNode.c:8886
  59 *** Please report bug to lclint-bug@cs.virginia.edu