+make -e clean
+make -e check
-< loading standard library /af10/evans/LCLintDev/lib/ansi.lcd .... >
-< reading spec bool.lcl >
-< 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 >
employee.c: (in function employee_equal)
employee.c:25: Function strncmp expects arg 3 to be size_t gets int:
maxEmployeeName
-< checking eref.c >
-< checking empset.c >
empset.c: (in function empset_insert)
empset.c:28: Variable er declared but not used
empset.c: (in function empset_disjointUnion)
empset.c:139: Undocumented modification of s1 possible from call to
erc_iterStart: erc_iterStart(s1)
empset.c:135: Variable e declared but not used
-< checking ereftab.c >
ereftab.c: (in function ereftab_lookup)
ereftab.c:34: Undocumented modification of t possible from call to
erc_iterStart: erc_iterStart(t)
-< checking erc.c >
erc.c: (in function erc_member)
erc.c:47: Operands of == are abstract type (eref): tmpc->val == er
erc.c: (in function erc_delete)
erc_size(c) * (employeePrintSize + 1) + 1
erc.c:151: Undocumented modification of c possible from call to erc_iterStart:
erc_iterStart(c)
-< checking dbase.c >
dbase.c: (in function query)
dbase.c:210: Variable er declared but not used
dbase.c:211: Variable e declared but not used
-< checking drive.c >
drive.c: (in function main)
drive.c:123: Return value (type db_status) ignored: hire(e)
-< checking macros bool.h >
-< global checks >
-< cleaning .......... >
-Finished LCLint checking --- 16 code errors found, as expected
+Finished checking --- 16 code warnings, as expected
-< loading standard library /af10/evans/LCLintDev/lib/ansi.lcd .... >
-< reading spec bool.lcl >
-< 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 >
-employee.h:2: Name EMPLOYEE_H is reserved for future ANSI library extensions.
- Macros beginning with E and a digit or uppercase letter may be added to
- <errno.h>. (See ANSI, Section 4.13.1)
-< more preprocessing . >
-eref.h:2: Name EREF_H is reserved for future ANSI library extensions. Macros
+employee.h:2: Name EMPLOYEE_H is reserved for future library extensions. Macros
beginning with E and a digit or uppercase letter may be added to <errno.h>.
- (See ANSI, Section 4.13.1)
-< more preprocessing . >
-empset.h:2: Name EMPSET_H is reserved for future ANSI library extensions.
- Macros beginning with E and a digit or uppercase letter may be added to
- <errno.h>. (See ANSI, Section 4.13.1)
-< more preprocessing . >
-erc.h:2: Name ERC_H is reserved for future ANSI library extensions. Macros
+ (ISO99:7.26.3)
+eref.h:2: Name EREF_H is reserved for future library extensions. Macros
beginning with E and a digit or uppercase letter may be added to <errno.h>.
- (See ANSI, Section 4.13.1)
-< more preprocessing . >
-ereftab.h:4: Name EREFTAB_H is reserved for future ANSI library extensions.
- Macros beginning with E and a digit or uppercase letter may be added to
- <errno.h>. (See ANSI, Section 4.13.1)
-< more preprocessing . >
-< checking employee.c >
+ (ISO99:7.26.3)
+empset.h:2: Name EMPSET_H is reserved for future library extensions. Macros
+ beginning with E and a digit or uppercase letter may be added to <errno.h>.
+ (ISO99:7.26.3)
+erc.h:2: Name ERC_H is reserved for future library extensions. Macros beginning
+ with E and a digit or uppercase letter may be added to <errno.h>.
+ (ISO99:7.26.3)
+ereftab.h:4: Name EREFTAB_H is reserved for future library extensions. Macros
+ beginning with E and a digit or uppercase letter may be added to <errno.h>.
+ (ISO99:7.26.3)
bool.h:20: Modifies list for bool_initMod uses global internal state, not
included in globals list.
bool.h:20: Declaration of bool_initMod
parameter in declaration: p_e
employee.h:12: Previous declaration of p_e
employee.c: (in function employee_setName)
-employee.c:12: Undefined storage e->name corresponds to storage listed in
- defines clause
+employee.c:12: Undefined storage e->name corresponds to storage listed in sets
+ clause
+ This sub-reference is undefined: *(e->name)
employee.c:12: Body of if statement is not a block: return FALSE
employee.c:15: Parameter 1 (e->name) to function strcpy is declared unique but
may be aliased externally by parameter 2 (na)
employee.c:34: Array fetch using non-integer, gender: gender[e.gen]
employee.c:34: Array fetch using non-integer, job: jobs[e.j]
employee.h: (in macro employee_initMod)
-employee.h:14: Called procedure bool_initMod may access internal state, but
+employee.h:15: Called procedure bool_initMod may access internal state, but
globals list does not include globals internalState
-employee.h:14: Undocumented modification of internal state possible from call
+employee.h:15: Undocumented modification of internal state possible from call
to bool_initMod: bool_initMod()
-< checking eref.c >
eref.h:9: Constant exported, but not specified: used
eref.h:9: Constant exported, but not specified: avail
eref.h:9: Type exported, but not specified: eref_status
eref.h: (in macro eref_equal)
eref.h:26: Macro parameter used without parentheses: er1
eref.h:26: Macro parameter used without parentheses: er2
-< checking empset.c >
erc.h:6: Name _elem is in the implementation name space (any identifier
beginning with underscore)
erc.h:6: Type exported, but not specified: ercElem
empset.h: (in macro empset_member)
empset.h:30: Undetected modification possible from call to unconstrained
function _empset_get: _empset_get
-< checking ereftab.c >
ereftab.c: (in function ereftab_delete)
ereftab.c:24: Return value (type bool) ignored: erc_delete(t, er)
ereftab.c: (in function ereftab_lookup)
ereftab.c:37: Body of if statement is not a block: return er
ereftab.c: (in function ereftab_initMod)
ereftab.c:47: Statement has no effect: erc_initMod()
-< checking erc.c >
erc.c: (in function erc_create)
erc.c:8: Parameter to sizeof is type ercInfo: sizeof(ercInfo)
erc.c:13: Argument to exit has implementation defined behavior: 1
erc.h:20: Only storage *it->next (type struct _elem *) derived from released
storage is not released (memory leak): it
erc.h:20: Implicitly temp storage it passed as only param: free (it)
-< checking dbase.c >
dbase.c: (in function db_initMod)
dbase.c:21: Undocumented use of global initDone
dbase.c:27: Statement has no effect: employee_initMod()
dbase.c:274: Undocumented use of global db
dbase.c:272: Incompatible types for <= (int, enum { mMGRS, fMGRS, mNON, fNON })
(in post loop test): i <= fNON
-< checking drive.c >
drive.c: (in function main)
drive.c:22: Statement has no effect: employee_initMod()
drive.c:23: Statement has no effect: empset_initMod()
drive.c:134: Return value (type bool) ignored: fire(17)
drive.c:158: Return value (type bool) ignored: fire(empset_choo...
drive.c:11: Parameter argv not used
-< checking macros bool.h >
-< global checks >
dbase.c:11: Type employeeKinds declared but not used
eref.lh:8: Function exported but not used outside eref: eref_free
eref.h:23: Definition of eref_free
dbase.c:71: Definition of _db_keyGet
dbase.c:73: Function _db_addEmpls exported but not declared in header file
dbase.c:92: Definition of _db_addEmpls
-< cleaning .......... >
Error Type Reported Suppressed
=================== ======== =========
usereleased 1 0
compdef 3 0
compdestroy 1 0
-mustfree 3 0
+mustfreeonly 3 0
branchstate 2 1
onlytrans 1 0
freshtrans 3 0
======== =========
Total 333 73
-Finished LCLint checking --- 333 code errors found, as expected
+Finished checking --- 333 code warnings, as expected
andersk / splint.git / blobdiff