]> andersk Git - splint.git/blobdiff - test/db3.expect
Fixed manual typo.
[splint.git] / test / db3.expect
index d50cbb0400eff6dc81c0e10a8d8871787e0450b6..c5f196275afd17a45b932930952751e57a13e0bf 100644 (file)
@@ -2,13 +2,13 @@
 
 Error Type                Reported  Suppressed
 ===================       ========  =========
-redecl                       0           7
-incondefs                    0           1
 usedef                       0           1
-exporttype                   0           3
 compdef                      0           3
-modfilesys                   0          25
+incondefs                    0           1
 formalarray                  0          24
+modfilesys                   0          25
+redecl                       0           7
+exporttype                   0           3
                           ========  =========
 Total                        0          64
 
@@ -129,16 +129,16 @@ 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           3
+incondefs                    0           1
+formalarray                  0          24
 mods                        26           0
 modfilesys                   0          25
-formalarray                  0          24
+globs                       26           0
+retvalint                   25           0
+redecl                       0           7
+exporttype                   0           3
                           ========  =========
 Total                       77          64
 
This page took 0.083543 seconds and 4 git commands to generate.