test/db2.expect

   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:17: 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 5 undefined fields when
  30               call returns: ssNum, name, 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 < checking dbase.c >
  56 < checking drive.c >
  57 < checking macros bool.h >
  58 < global checks >
  59
  60 Finished LCLint checking --- 15 code errors found, as expected
  61
  62 < reading spec employee.lcl >
  63 < reading spec eref.lcl >
  64 < reading spec empset.lcl >
  65 < reading spec ereftab.lcl >
  66 < reading spec erc.lcl >
  67 < reading spec dbase.lcl >
  68 < preprocessing >
  69 < checking employee.c >
  70 employee.c: (in function employee_setName)
  71 employee.c:17: Parameter 1 (e->name) to function strcpy is declared unique but
  72                   may be aliased externally by parameter 2 (na)
  73 < checking eref.c >
  74 eref.c: (in function eref_initMod)
  75 eref.c:62: Implicitly only storage eref_Pool.conts (type employee *) not
  76     released before assignment: eref_Pool.conts = (employee *)malloc(size *
  77     sizeof(employee))
  78 eref.c:70: Implicitly only storage eref_Pool.status (type eref_status *) not
  79     released before assignment: eref_Pool.status = (eref_status *)malloc(size *
  80     sizeof(eref_status))
  81 eref.c:84: Global storage *(eref_Pool.conts) contains 5 undefined fields when
  82               call returns: ssNum, name, salary, gen, j
  83 eref.c:84: Global storage eref_Pool contains 1 undefined field when call
  84               returns: status
  85 < checking empset.c >
  86 empset.c: (in function empset_intersect)
  87 empset.c:126: Fresh storage toDelete not released before return
  88    empset.c:112: Fresh storage toDelete allocated
  89 < checking ereftab.c >
  90 < checking erc.c >
  91 erc.c: (in function erc_create)
  92 erc.c:33: Null storage c->vals derivable from return value: c
  93    erc.c:31: Storage c->vals becomes null
  94 erc.c: (in function erc_clear)
  95 erc.c:49: Function returns with null storage derivable from parameter c->vals
  96    erc.c:47: Storage c->vals becomes null
  97 erc.c: (in function erc_final)
  98 erc.c:54: Implicitly temp storage c passed as only param: free (c)
  99 erc.c: (in function erc_delete)
 100 erc.c:98: Implicitly only storage prev->next (type struct _elem *) not released
 101              before assignment: prev->next = elem->next
 102 erc.c:98: Clauses exit with elem referencing implicitly only storage in true
 103              branch, local storage in false branch
 104    erc.c:96: Storage elem becomes implicitly only
 105 erc.c:102: Released storage c->vals reachable from parameter at return point
 106    erc.c:100: Storage c->vals is released
 107 < checking dbase.c >
 108 < checking drive.c >
 109 drive.c: (in function main)
 110 drive.c:49: Variable m_res name is not a macro variable (it is a local
 111                variable), but matches the macro variable namespace prefix "m_"
 112 drive.c:65: 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:83: 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:120: 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:124: 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:135: 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:140: Fresh storage em1 (type empset) not released before assignment:
 123                 em1 = empset_create()
 124    drive.c:35: Fresh storage em1 allocated
 125 drive.c:146: Fresh storage em2 (type empset) not released before assignment:
 126                 em2 = empset_create()
 127    drive.c:74: Fresh storage em2 allocated
 128 drive.c:147: Fresh storage em3 (type empset) not released before assignment:
 129                 em3 = empset_disjointUnion(em2, em1)
 130    drive.c:87: Fresh storage em3 allocated
 131 drive.c:159: Variable m_res name is not a macro variable (it is a local
 132                 variable), but matches the macro variable namespace prefix "m_"
 133 drive.c:163: Fresh storage em1 not released before return
 134    drive.c:140: Fresh storage em1 allocated
 135 drive.c:163: Fresh storage em2 not released before return
 136    drive.c:146: Fresh storage em2 allocated
 137 drive.c:163: Fresh storage em3 not released before return
 138    drive.c:147: Fresh storage em3 allocated
 139 < checking macros bool.h >
 140 < global checks >
 141
 142 Finished LCLint checking --- 25 code errors found, as expected
 143
 144 < reading spec employee.lcl >
 145 < reading spec eref.lcl >
 146 < reading spec empset.lcl >
 147 < reading spec ereftab.lcl >
 148 < reading spec erc.lcl >
 149 < reading spec dbase.lcl >
 150 < preprocessing >
 151 < checking employee.c >
 152 < checking eref.c >
 153 < checking empset.c >
 154 < checking ereftab.c >
 155 < checking erc.c >
 156 < checking dbase.c >
 157 < checking drive.c >
 158 < checking macros bool.h >
 159 < global checks >
 160
 161 Finished LCLint checking --- no code errors found