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.0 --- 01 Mar 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 >
< checking drive.c >
< checking macros bool.h >
< global checks >
< cleaning .......... >

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

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


Return LCLint Home Page David Evans
Systematic Program Develpoment
evs@larch.lcs.mit.edu