gmake[1]: Entering directory `/u/evs/lclint/web/sample/checkchecks2'
lclint +lh -enumint -type -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.38 s.
gmake[1]: Leaving directory `/u/evs/lclint/web/sample/checkchecks2'
Return | LCLint Home
Page
David
Evans
evs@larch.lcs.mit.edu