gmake[1]: Entering directory `/u/evs/lclint/web/sample/checkchecks2'
lclint +lh -enumint +enumindex -allimponly +allmacros +showscan +stats employee eref empset ereftab erc dbase drive.c
LCLint 2.0 --- 20 Feb 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 >
< preprocessing >
< checking employee.c >
< checking eref.c >
< checking empset.c >
empset.c:38,6: Function empset_insertUnique inconsistently redeclared with
                  known in globals list
  A function, variable or constant is redefined with a different type.  Use
  -incondefs to suppress message.
   empset.lcl:27: Specification of empset_insertUnique
empset.c:144,6: Function empset_initMod inconsistently redeclared with known in
                   globals list
   empset.lcl:83: Specification of empset_initMod
empset.c: (in function empset_initMod)
empset.c:148,24: Function returns with global known undefined
  A global variable does not satisfy its annotations when control is
  transferred.  Use -globstate to suppress message.
   empset.lcl:83: Storage known becomes undefined
< checking ereftab.c >
< checking erc.c >
< checking dbase.c >
< checking drive.c >
< checking macros bool.h >
< global checks >
< cleaning ......... >

Finished LCLint checking --- 3 code errors found
391 spec, 2868 source (1269 before pre-processing) lines in 4.37 s.
gmake[1]: Leaving directory `/u/evs/lclint/web/sample/checkchecks2'


Return | LCLint Home Page

David Evans
evs@larch.lcs.mit.edu