gmake[2]: Entering directory `/u/evs/lclint/web/samples/db/final'
lclint +lh +strict +showsummary -exportconstant -exportlocal +strictlib +showscan +stats employee eref empset ereftab erc dbase drive.c bool.lcl check.lcl
LCLint 2.1a --- 18 Apr 96

< reading spec employee.lcl >
< reading spec eref.lcl >
< reading spec empset.lcl >
< reading spec ereftab.lcl >
< reading spec erc.lcl >
< reading spec dbase.lcl >
< reading spec bool.lcl >
< reading spec check.lcl >
< preprocessing >
< checking employee.c >
< checking eref.c >
< checking empset.c >
< checking ereftab.c >
< checking erc.c >
< checking dbase.c >
dbase.c: (in function db_initMod)
dbase.c:45,7: Only storage assigned to unqualified: db[(int)ek] = erc_create()
  The only reference to this storage is transferred to another reference that
  does not have an aliasing annotation. This may lead to a memory leak, since
  the new reference is not necessarily released. Use -onlyunqglobaltrans to
  suppress message.
< checking drive.c >
< checking macros bool.h >
< global checks >
< cleaning .......... >

Error Type                Reported  Suppressed
===================       ========  =========
usedef                       0           1
exporttype                   0           3
compdef                      0           1
onlyunqglobaltrans           1           0
                          ========  =========
Total:                       1           5

Finished LCLint checking --- 1 code error found
410 spec, 3124 source (1370 before pre-processing) lines in 6.08 s.
gmake[2]: Leaving directory `/u/evs/lclint/web/samples/db/final'


Return LCLint Home Page David Evans
University of Virginia, Computer Science
[email protected]