gmake[1]: Entering directory `/u/evs/lclint/web/sample/strictlib'
lclint +lh +strict -exportconstant -exportlocal +strictlib -retval +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: Called procedure printf may access global stdout
  A checked global variable is used in the function, but not listed in its
  globals clause.  By default, only globals specified in .lcl files are
  checked.  To check all globals, use +allglobals.  To check globals
  selectively use /*@checked@*/ in the global declaration.  Use -globs to
  suppress message.
eref.c:36,4: Undocumented modification of *stdout possible from call to printf:
                printf("Malloc returned null in eref_alloc\n")
  An externally-visible object is modified by a function, but not listed in its
  modifies clause.  Use -mods to suppress message.
eref.c:46,4: Called procedure printf may access global stdout
eref.c:46,4: Undocumented modification of *stdout possible from call to printf:
                printf("Malloc returned null in eref_alloc\n")
eref.c: (in function eref_initMod)
eref.c:82,7: Called procedure printf may access global stdout
eref.c:82,7: Undocumented modification of *stdout possible from call to printf:
                printf("Malloc returned null in eref_initMod\n")
eref.c:90,7: Called procedure printf may access global stdout
eref.c:90,7: Undocumented modification of *stdout possible from call to printf:
                printf("Malloc returned null in eref_initMod\n")
< checking empset.c >
< checking ereftab.c >
< checking erc.c >
erc.c: (in function int_toSize)
erc.c:9,16: Undocumented use of global stderr
erc.c:9,7: Undocumented modification of *stderr possible from call to fprintf:
              fprintf(stderr, "Error: int_toSize is negative: %d", x)
erc.c: (in function erc_create)
erc.c:26,7: Called procedure printf may access global stdout
erc.c:26,7: Undocumented modification of *stdout possible from call to printf:
               printf("Malloc returned null in erc_create\n")
erc.c: (in function erc_insert)
erc.c:78,7: Called procedure printf may access global stdout
erc.c:78,7: Undocumented modification of *stdout possible from call to printf:
               printf("Malloc returned null in erc_insert\n")
erc.c: (in function erc_sprint)
erc.c:143,7: Called procedure printf may access global stdout
erc.c:143,7: Undocumented modification of *stdout possible from call to printf:
                printf("Malloc returned null in erc_sprint\n")
< checking dbase.c >
< checking drive.c >
drive.c: (in function main)
drive.c:31,7: Called procedure printf may access global stdout
drive.c:31,7: Undocumented modification of *stdout possible from call to
    printf: printf("FormatPos: Wrong number of arguments. Given %d needs 0.\n",
    argc - 1)
drive.c:41,7: Called procedure printf may access global stdout
drive.c:41,7: Undocumented modification of *stdout possible from call to
                 printf: printf("Size should be 0.\n")
drive.c:57,7: Called procedure printf may access global stdout
drive.c:57,7: Undocumented modification of *stdout possible from call to
                 printf: printf("Size should be 500.\n")
drive.c:73,7: Called procedure printf may access global stdout
drive.c:73,7: Undocumented modification of *stdout possible from call to
                 printf: printf("Size should be 250.\n")
drive.c:93,7: Called procedure printf may access global stdout
drive.c:93,7: Undocumented modification of *stdout possible from call to
                 printf: printf("Size should be 350.\n")
drive.c:100,7: Called procedure printf may access global stdout
drive.c:100,7: Undocumented modification of *stdout possible from call to
                  printf: printf("Size should be 350.\n")
drive.c:103,3: Called procedure printf may access global stdout
drive.c:103,3: Undocumented modification of *stdout possible from call to
                  printf: printf("Print two different employees:\n")
drive.c:109,7: Called procedure printf may access global stdout
drive.c:109,7: Undocumented modification of *stdout possible from call to
                  printf: printf("%s\n", &(na[0]))
drive.c:151,3: Called procedure printf may access global stdout
drive.c:151,3: Undocumented modification of *stdout possible from call to
    printf: printf("Should print true: %s\n", bool_unparse(status ==
    DBS_DUPLERR))
drive.c:154,3: Called procedure printf may access global stdout
drive.c:154,3: Undocumented modification of *stdout possible from call to
                  printf: printf("Employees 0 - 19\n")
drive.c:155,3: Called procedure db_print may access global stdout
drive.c:155,3: Undocumented modification of *stdout possible from call to
                  db_print: db_print()
drive.c:158,3: Called procedure printf may access global stdout
drive.c:158,3: Undocumented modification of *stdout possible from call to
                  printf: printf("Employees 0 - 16, 18 - 19\n")
drive.c:159,3: Called procedure db_print may access global stdout
drive.c:159,3: Undocumented modification of *stdout possible from call to
                  db_print: db_print()
drive.c:164,3: Called procedure printf may access global stdout
drive.c:164,3: Undocumented modification of *stdout possible from call to
    printf: printf("Should get two females: %d\n%s\n", i, sprintResult)
drive.c:174,3: Called procedure printf may access global stdout
drive.c:174,3: Undocumented modification of *stdout possible from call to
    printf: printf("Should get two females and ten males:
    %d\n%s\n", i, sprintResult)
drive.c:180,3: Called procedure printf may access global stdout
drive.c:180,3: Undocumented modification of *stdout possible from call to
    printf: printf("Should get two females: %d\n%s\n", i, sprintResult)
drive.c:184,3: Called procedure printf may access global stdout
drive.c:184,3: Undocumented modification of *stdout possible from call to
                  printf: printf("Should get 18 employees\n")
drive.c:185,3: Called procedure db_print may access global stdout
drive.c:185,3: Undocumented modification of *stdout possible from call to
                  db_print: db_print()
< checking macros bool.h >
< global checks >
< cleaning .......... >

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


Return to Index | LCLint Home Page

David Evans
evans@cs.virginia.edu