]> andersk Git - splint.git/blobdiff - test/db1.expect
*** empty log message ***
[splint.git] / test / db1.expect
index 19a2afe12b4f8e7abde16bde5c13730884cfc56c..4a2e17d94c71e8d70766fe9c4ab9cfd545e28ee2 100644 (file)
@@ -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
-    <errno.h>. (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 <errno.h>.
-    (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
-    <errno.h>. (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 <errno.h>.
-    (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
-    <errno.h>. (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 <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
@@ -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
 
This page took 0.044588 seconds and 4 git commands to generate.