gmake[1]: Entering directory `/u/evs/lclint/web/sample/strictlib'
lclint +lh +strict -exportconstant -exportlocal +strictlib -mods -globs +showscan +stats employee eref empset ereftab erc dbase drive.c bool.lcl check.lcl
LCLint 2.0+ --- Wed Feb 21 19:07:11 EST 1996

< 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 >
eref.c: (in function eref_alloc)
eref.c:36,4: Return value (type int) ignored: printf("Malloc r...
  Result returned by function call is not used.  If this is intended, can cast
  result to (void) to eliminate message.  Use -retvalint to suppress message.
eref.c:46,4: Return value (type int) ignored: printf("Malloc r...
eref.c: (in function eref_initMod)
eref.c:82,7: Return value (type int) ignored: printf("Malloc r...
eref.c:90,7: Return value (type int) ignored: printf("Malloc r...
< checking empset.c >
< checking ereftab.c >
< checking erc.c >
erc.c: (in function int_toSize)
erc.c:9,7: Return value (type int) ignored: fprintf(stderr, ...
erc.c: (in function erc_create)
erc.c:26,7: Return value (type int) ignored: printf("Malloc r...
erc.c: (in function erc_insert)
erc.c:78,7: Return value (type int) ignored: printf("Malloc r...
erc.c: (in function erc_sprint)
erc.c:143,7: Return value (type int) ignored: printf("Malloc r...
< checking dbase.c >
dbase.c: (in function db_print)
dbase.c:306,3: Return value (type int) ignored: printf("Employee...
dbase.c:311,7: Return value (type int) ignored: printf("%s", pri...
< checking drive.c >
drive.c: (in function main)
drive.c:31,7: Return value (type int) ignored: printf("FormatPo...
drive.c:41,7: Return value (type int) ignored: printf("Size sho...
drive.c:57,7: Return value (type int) ignored: printf("Size sho...
drive.c:73,7: Return value (type int) ignored: printf("Size sho...
drive.c:93,7: Return value (type int) ignored: printf("Size sho...
drive.c:100,7: Return value (type int) ignored: printf("Size sho...
drive.c:103,3: Return value (type int) ignored: printf("Print tw...
drive.c:109,7: Return value (type int) ignored: printf("%s\n", &...
drive.c:151,3: Return value (type int) ignored: printf("Should p...
drive.c:154,3: Return value (type int) ignored: printf("Employee...
drive.c:158,3: Return value (type int) ignored: printf("Employee...
drive.c:164,3: Return value (type int) ignored: printf("Should g...
drive.c:174,3: Return value (type int) ignored: printf("Should g...
drive.c:180,3: Return value (type int) ignored: printf("Should g...
drive.c:184,3: Return value (type int) ignored: printf("Should g...
< checking macros bool.h >
< global checks >
< cleaning .......... >

Finished LCLint checking --- 25 code errors found
402 spec, 2984 source (1363 before pre-processing) lines in 6.05 s.
gmake[1]: Leaving directory `/u/evs/lclint/web/sample/strictlib'


Return to Index | LCLint Home Page

David Evans
evans@cs.virginia.edu