X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/ba45e1e46d0f012cf3abdb631baa428f00a63378..3120b46202eb0e24e26bafc9c49cdad77a6ba32c:/test/db3.expect

diff --git a/test/db3.expect b/test/db3.expect
index 8c4e8fb..c3ed6aa 100644
--- 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