+make -e clean
+make -e check
-< reading spec employee.lcl >
-< reading spec eref.lcl >
-< reading spec empset.lcl >
-< reading spec ereftab.lcl >
-< reading spec erc.lcl >
-< reading spec dbase.lcl >
-< preprocessing >
-< checking employee.c >
employee.c: (in function employee_setName)
employee.c:17: Parameter 1 (e->name) to function strcpy is declared unique but
may be aliased externally by parameter 2 (na)
-< checking eref.c >
eref.c: (in function eref_alloc)
eref.c:19: Unqualified storage eref_Pool.conts passed as only param:
realloc (eref_Pool.conts, ...)
eref.c:70: Fresh storage eref_Pool.status allocated
eref.c:84: Global storage eref_Pool contains 1 undefined field when call
returns: status
-< checking empset.c >
-< checking ereftab.c >
-< checking erc.c >
erc.c: (in function erc_create)
erc.c:33: Null storage c->vals derivable from return value: c
erc.c:31: Storage c->vals becomes null
erc.c: (in function erc_sprint)
erc.c:141: Fresh storage returned as unqualified (should be only): result
erc.c:122: Fresh storage result allocated
-< checking dbase.c >
-< checking drive.c >
-< checking macros bool.h >
-< global checks >
Finished LCLint checking --- 15 code errors found, as expected
-< reading spec employee.lcl >
-< reading spec eref.lcl >
-< reading spec empset.lcl >
-< reading spec ereftab.lcl >
-< reading spec erc.lcl >
-< reading spec dbase.lcl >
-< preprocessing >
-< checking employee.c >
employee.c: (in function employee_setName)
employee.c:17: Parameter 1 (e->name) to function strcpy is declared unique but
may be aliased externally by parameter 2 (na)
-< checking eref.c >
eref.c: (in function eref_initMod)
eref.c:62: Implicitly only storage eref_Pool.conts (type employee *) not
released before assignment: eref_Pool.conts = (employee *)malloc(size *
call returns: ssNum, name, salary, gen, j
eref.c:84: Global storage eref_Pool contains 1 undefined field when call
returns: status
-< checking empset.c >
empset.c: (in function empset_intersect)
empset.c:126: Fresh storage toDelete not released before return
empset.c:112: Fresh storage toDelete allocated
-< checking ereftab.c >
-< checking erc.c >
erc.c: (in function erc_create)
erc.c:33: Null storage c->vals derivable from return value: c
erc.c:31: Storage c->vals becomes null
erc.c:96: Storage elem becomes implicitly only
erc.c:102: Released storage c->vals reachable from parameter at return point
erc.c:100: Storage c->vals is released
-< checking dbase.c >
-< checking drive.c >
drive.c: (in function main)
drive.c:49: Variable m_res name is not a macro variable (it is a local
variable), but matches the macro variable namespace prefix "m_"
drive.c:146: Fresh storage em2 allocated
drive.c:163: Fresh storage em3 not released before return
drive.c:147: Fresh storage em3 allocated
-< checking macros bool.h >
-< global checks >
Finished LCLint checking --- 25 code errors found, as expected
-< reading spec employee.lcl >
-< reading spec eref.lcl >
-< reading spec empset.lcl >
-< reading spec ereftab.lcl >
-< reading spec erc.lcl >
-< reading spec dbase.lcl >
-< preprocessing >
-< checking employee.c >
-< checking eref.c >
-< checking empset.c >
-< checking ereftab.c >
-< checking erc.c >
-< checking dbase.c >
-< checking drive.c >
-< checking macros bool.h >
-< global checks >
-
Finished LCLint checking --- no code errors found