*** empty log message ***

[splint.git] / test / db3.expect

diff --git a/test/db3.expect b/test/db3.expect
index 8c4e8fb15338aadfe455b12960893e3ad2a87111..c3ed6aa4d376261c7c9878e0c98489217bc5c2b1 100644 (file)
--- a/test/db3.expect
+++ b/test/db3.expect
@@ -2,13 +2,15 @@
 
 Error Type                Reported  Suppressed
 ===================       ========  =========
+redecl                       0           7
+incondefs                    0           1
 usedef                       0           1
 exporttype                   0           3
-compdef                      0           1
+compdef                      0           3
 modfilesys                   0          25
-formalarray                  0          17
+formalarray                  0          24
                           ========  =========
-Total                        0          47
+Total                        0          64
 
 Finished LCLint checking --- no code errors found
 
@@ -127,15 +129,17 @@ drive.c:185: Undocumented modification of *stdout possible from call to
 
 Error Type                Reported  Suppressed
 ===================       ========  =========
+redecl                       0           7
+incondefs                    0           1
 usedef                       0           1
 exporttype                   0           3
 globs                       26           0
 retvalint                   25           0
-compdef                      0           1
+compdef                      0           3
 mods                        26           0
 modfilesys                   0          25
-formalarray                  0          17
+formalarray                  0          24
                           ========  =========
-Total                       77          47
+Total                       77          64
 
 Finished LCLint checking --- 77 code errors found, as expected