X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/3e3ec46998ea67d6742eb30afc16058c5537004e..a889b5ee86098118ce8ae206ec045e4790d76935:/test/db1.expect diff --git a/test/db1.expect b/test/db1.expect index 19a2afe..4a2e17d 100644 --- a/test/db1.expect +++ b/test/db1.expect @@ -1,5 +1,3 @@ -make -e clean -make -e check employee.c: (in function employee_equal) employee.c:25: Function strncmp expects arg 3 to be size_t gets int: @@ -40,21 +38,21 @@ drive.c:123: Return value (type db_status) ignored: hire(e) Finished checking --- 16 code warnings, as expected -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 - . (See ANSI, Section 4.13.1) -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 . - (See ANSI, Section 4.13.1) -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 - . (See ANSI, Section 4.13.1) -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 . - (See ANSI, Section 4.13.1) -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 - . (See ANSI, Section 4.13.1) + (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 . + (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 . + (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 . + (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 @@ -601,57 +599,57 @@ dbase.c:73: Function _db_addEmpls exported but not declared in header file Error Type Reported Suppressed =================== ======== ========= -abstract 2 0 -mayaliasunique 1 0 -exitarg 8 0 -unreachable 1 0 -forempty 1 0 -forblock 11 0 -ifblock 22 0 -redecl 0 7 -incondefs 0 1 +nullret 1 0 +nullstate 1 0 usedef 1 0 -noeffect 11 0 -exporttype 5 0 -exportvar 2 0 -exportconst 2 0 -globs 64 1 -internalglobs 2 0 -warnmissingglobs 1 6 -retvalother 1 0 -retvalbool 16 0 -macroparens 4 0 -usereleased 1 0 compdef 3 0 +incondefs 0 1 +sizeoftype 7 0 +formalarray 0 24 +abstract 2 0 +mustfreeonly 3 0 +usereleased 1 0 compdestroy 1 0 -mustfree 3 0 branchstate 2 1 onlytrans 1 0 freshtrans 3 0 temptrans 3 2 readonlytrans 6 0 +mayaliasunique 1 0 mods 38 0 mustmod 2 0 modfilesys 0 25 modnomods 4 0 moduncon 20 0 modunconnomods 1 0 +globs 64 1 +internalglobs 2 0 +warnmissingglobs 1 6 +forempty 1 0 +forblock 11 0 +ifblock 22 0 +unreachable 1 0 +noeffect 11 0 +retvalother 1 0 +retvalbool 16 0 +macroparens 4 0 namechecks 11 6 protoparammatch 1 0 -nullret 1 0 -nullstate 1 0 -sizeoftype 7 0 -formalarray 0 24 -type 1 0 -enumindex 24 0 -enumint 15 0 -matchanyintegral 2 0 exportlocal 15 0 exportheader 4 0 exportheadervar 2 0 paramuse 1 0 typeuse 1 0 varuse 4 0 +exitarg 8 0 +redecl 0 7 +exporttype 5 0 +exportvar 2 0 +exportconst 2 0 +type 1 0 +enumindex 24 0 +enumint 15 0 +matchanyintegral 2 0 ======== ========= Total 333 73