test/db2.expect

   1
   2 < loading standard library /af10/evans/LCLintDev/lib/ansi.lcd .... >
   3 < reading spec employee.lcl >
   4 < reading spec eref.lcl >
   5 < reading spec empset.lcl >
   6 < reading spec ereftab.lcl >
   7 < reading spec erc.lcl >
   8 < reading spec dbase.lcl >
   9 < preprocessing >
  10 < checking employee.c >
  11 employee.c: (in function employee_setName)
  12 employee.c:17: Parameter 1 (e->name) to function strcpy is declared unique but
  13                   may be aliased externally by parameter 2 (na)
  14 < checking eref.c >
  15 eref.c: (in function eref_alloc)
  16 eref.c:19: Unqualified storage eref_Pool.conts passed as only param:
  17               realloc (eref_Pool.conts, ...)
  18 eref.c:29: Unqualified storage eref_Pool.status passed as only param:
  19               realloc (eref_Pool.status, ...)
  20 eref.c:45: Storage eref_Pool.status reachable from global is only (should be
  21               unqualified)
  22    eref.c:30: Storage eref_Pool.status becomes only
  23 eref.c:45: Storage eref_Pool.conts reachable from global is only (should be
  24               unqualified)
  25    eref.c:20: Storage eref_Pool.conts becomes only
  26 eref.c: (in function eref_initMod)
  27 eref.c:84: Storage eref_Pool.conts reachable from global is fresh (should be
  28               unqualified)
  29    eref.c:62: Fresh storage eref_Pool.conts allocated
  30 eref.c:84: Global storage *(eref_Pool.conts) contains 5 undefined fields when
  31               call returns: ssNum, name, salary, gen, j
  32 eref.c:84: Storage eref_Pool.status reachable from global is fresh (should be
  33               unqualified)
  34    eref.c:70: Fresh storage eref_Pool.status allocated
  35 eref.c:84: Global storage eref_Pool contains 1 undefined field when call
  36               returns: status
  37 < checking empset.c >
  38 < checking ereftab.c >
  39 < checking erc.c >
  40 erc.c: (in function erc_create)
  41 erc.c:33: Null storage c->vals derivable from return value: c
  42    erc.c:31: Storage c->vals becomes null
  43 erc.c:33: Fresh storage returned as unqualified (should be only): c
  44    erc.c:23: Fresh storage c allocated
  45 erc.c: (in function erc_clear)
  46 erc.c:49: Function returns with null storage derivable from parameter c->vals
  47    erc.c:47: Storage c->vals becomes null
  48 erc.c: (in function erc_final)
  49 erc.c:54: Implicitly temp storage c passed as only param: free (c)
  50 erc.c: (in function erc_delete)
  51 erc.c:102: Released storage c->vals reachable from parameter at return point
  52    erc.c:100: Storage c->vals is released
  53 erc.c: (in function erc_sprint)
  54 erc.c:141: Fresh storage returned as unqualified (should be only): result
  55    erc.c:122: Fresh storage result allocated
  56 < checking dbase.c >
  57 < checking drive.c >
  58 < checking macros bool.h >
  59 < global checks >
  60
  61 Finished LCLint checking --- 15 code errors found, as expected
  62
  63 < loading standard library /af10/evans/LCLintDev/lib/ansi.lcd .... >
  64 < reading spec employee.lcl >
  65 < reading spec eref.lcl >
  66 < reading spec empset.lcl >
  67 < reading spec ereftab.lcl >
  68 < reading spec erc.lcl >
  69 < reading spec dbase.lcl >
  70 < preprocessing >
  71 < checking employee.c >
  72 employee.c: (in function employee_setName)
  73 employee.c:17: Parameter 1 (e->name) to function strcpy is declared unique but
  74                   may be aliased externally by parameter 2 (na)
  75 < checking eref.c >
  76 eref.c: (in function eref_initMod)
  77 eref.c:62: Implicitly only storage eref_Pool.conts (type employee *) not
  78     released before assignment: eref_Pool.conts = (employee *)malloc(size *
  79     sizeof(employee))
  80 eref.c:70: Implicitly only storage eref_Pool.status (type eref_status *) not
  81     released before assignment: eref_Pool.status = (eref_status *)malloc(size *
  82     sizeof(eref_status))
  83 eref.c:84: Global storage *(eref_Pool.conts) contains 5 undefined fields when
  84               call returns: ssNum, name, salary, gen, j
  85 eref.c:84: Global storage eref_Pool contains 1 undefined field when call
  86               returns: status
  87 < checking empset.c >
  88 empset.c: (in function empset_intersect)
  89 empset.c:126: Fresh storage toDelete not released before return
  90    empset.c:112: Fresh storage toDelete allocated
  91 < checking ereftab.c >
  92 < checking erc.c >
  93 erc.c: (in function erc_create)
  94 erc.c:33: Null storage c->vals derivable from return value: c
  95    erc.c:31: Storage c->vals becomes null
  96 erc.c: (in function erc_clear)
  97 erc.c:49: Function returns with null storage derivable from parameter c->vals
  98    erc.c:47: Storage c->vals becomes null
  99 erc.c: (in function erc_final)
 100 erc.c:54: Implicitly temp storage c passed as only param: free (c)
 101 erc.c: (in function erc_delete)
 102 erc.c:98: Implicitly only storage prev->next (type struct _elem *) not released
 103              before assignment: prev->next = elem->next
 104 erc.c:98: Clauses exit with elem referencing implicitly only storage in true
 105              branch, local storage in false branch
 106    erc.c:96: Storage elem becomes implicitly only
 107 erc.c:102: Released storage c->vals reachable from parameter at return point
 108    erc.c:100: Storage c->vals is released
 109 < checking dbase.c >
 110 < checking drive.c >
 111 drive.c: (in function main)
 112 drive.c:49: Variable m_res name is not a macro variable (it is a local
 113                variable), but matches the macro variable namespace prefix "m_"
 114 drive.c:65: Variable m_res name is not a macro variable (it is a local
 115                variable), but matches the macro variable namespace prefix "m_"
 116 drive.c:83: Variable m_res name is not a macro variable (it is a local
 117                variable), but matches the macro variable namespace prefix "m_"
 118 drive.c:120: Variable m_res name is not a macro variable (it is a local
 119                 variable), but matches the macro variable namespace prefix "m_"
 120 drive.c:124: Variable m_res name is not a macro variable (it is a local
 121                 variable), but matches the macro variable namespace prefix "m_"
 122 drive.c:135: Variable m_res name is not a macro variable (it is a local
 123                 variable), but matches the macro variable namespace prefix "m_"
 124 drive.c:140: Fresh storage em1 (type empset) not released before assignment:
 125                 em1 = empset_create()
 126    drive.c:35: Fresh storage em1 allocated
 127 drive.c:146: Fresh storage em2 (type empset) not released before assignment:
 128                 em2 = empset_create()
 129    drive.c:74: Fresh storage em2 allocated
 130 drive.c:147: Fresh storage em3 (type empset) not released before assignment:
 131                 em3 = empset_disjointUnion(em2, em1)
 132    drive.c:87: Fresh storage em3 allocated
 133 drive.c:159: Variable m_res name is not a macro variable (it is a local
 134                 variable), but matches the macro variable namespace prefix "m_"
 135 drive.c:163: Fresh storage em1 not released before return
 136    drive.c:140: Fresh storage em1 allocated
 137 drive.c:163: Fresh storage em2 not released before return
 138    drive.c:146: Fresh storage em2 allocated
 139 drive.c:163: Fresh storage em3 not released before return
 140    drive.c:147: Fresh storage em3 allocated
 141 < checking macros bool.h >
 142 < global checks >
 143
 144 Finished LCLint checking --- 25 code errors found, as expected
 145
 146 < loading standard library /af10/evans/LCLintDev/lib/ansi.lcd .... >
 147 < reading spec employee.lcl >
 148 < reading spec eref.lcl >
 149 < reading spec empset.lcl >
 150 < reading spec ereftab.lcl >
 151 < reading spec erc.lcl >
 152 < reading spec dbase.lcl >
 153 < preprocessing >
 154 < checking employee.c >
 155 < checking eref.c >
 156 < checking empset.c >
 157 < checking ereftab.c >
 158 < checking erc.c >
 159 < checking dbase.c >
 160 < checking drive.c >
 161 < checking macros bool.h >
 162 < global checks >
 163
 164 Finished LCLint checking --- no code errors found