Made make lint work. Although exprNode_doSwitchExpr surpresses too much.

[splint.git] / test / bufferTest.out

diff --git a/test/bufferTest.out b/test/bufferTest.out
index 4aeb1c36829d40b97a4580025185acd9d96e702e..4d59c0eca8c177cfb6bbb9a90eb963bf9d112774 100644 (file)
--- a/test/bufferTest.out
+++ b/test/bufferTest.out
@@ -1,20 +1,21 @@
 
 test4.c: (in function t)
 test4.c:6:3: Variable g used before definition
-test4.c:6:3: Unresolved constraint:
-    Lclint is unable to resolve Requires: : MAXSET ((g @ test4.c:6:3 ) )  >=  (
-    100 )  needed to satisfy Requires: : MAXSET ((g @ test4.c:6:3 ) )  >=  (
-    100 ) 
+test4.c:6:3: Possible out-of-bounds store.  Unable to resolve constraint:
+    requires: : maxSet ((g @ test4.c:6:3 ) )  >=  ( 100 ) 
+     needed to satisfy precondition:
+    requires: : maxSet ((g @ test4.c:6:3 ) )  >=  ( 100 ) 
 test6.c:2:6: Function t defined more than once
    test4.c:15:1: Previous definition of t
 test6.c: (in function t)
 test6.c:5:4: Variable g used before definition
-test6.c:6:3: Unresolved constraint:
-    Lclint is unable to resolve Requires: : MAXSET ((g @ test6.c:5:4 ) )  >=  (
-    1 )  needed to satisfy Requires: : MAXSET ((g @ test6.c:6:3 ) )  >=  ( 0 ) 
-test6.c:6:10: Unresolved constraint:
-    Lclint is unable to resolve Requires: : MAXREAD ((g @ test6.c:5:4 ) )  >= 
-    ( 2 )  needed to satisfy Requires: : MAXREAD ((g @ test6.c:6:10 ) )  >=  (
-    1 ) 
+test6.c:6:3: Possible out-of-bounds store.  Unable to resolve constraint:
+    requires: : maxSet ((g @ test6.c:5:4 ) )  >=  ( 1 ) 
+     needed to satisfy precondition:
+    requires: : maxSet ((g @ test6.c:6:3 ) )  >=  ( 0 ) 
+test6.c:6:10: Possible out-of-bounds read.  Unable to resolve constraint:
+    requires: : maxRead ((g @ test6.c:5:4 ) )  >=  ( 2 ) 
+     needed to satisfy precondition:
+    requires: : maxRead ((g @ test6.c:6:10 ) )  >=  ( 1 ) 
 
 Finished LCLint checking --- 6 code errors found