Added support for or constraints.

[splint.git] / test / db1.out

diff --git a/test/db1.out b/test/db1.out
index 193992613a485b7895e8359b4d0db6a0e16323f1..f1cb5c94f3eb02910fcbc4d329d7535eebcb83b7 100644 (file)
--- a/test/db1.out
+++ b/test/db1.out
@@ -667,8 +667,8 @@ modnomods                    4           0
 moduncon                    20           0
 modunconnomods               1           0
 ansireserved                 9           0
-fcnpost                      0          54
-fcnconstraint                0           5
+fcnpost                      0          67
+fcnconstraint                0          14
 nullret                      1           0
 nullstate                    1           0
 sizeoftype                   7           0
@@ -684,6 +684,6 @@ paramuse                     1           0
 typeuse                      1           0
 varuse                       4           0
                           ========  =========
-Total                      331         112
+Total                      331         134
 
 Finished LCLint checking --- 331 code errors found, as expected