X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/1bd3b025e65aa3d7b45ecf8f3f0d832197cd997f..16c024b587f5ddc115928d5cca7095508aa208d9:/test/simplebufferConstraintTests.expect

diff --git a/test/simplebufferConstraintTests.expect b/test/simplebufferConstraintTests.expect
index 6272fb8..e5e79d4 100644
--- a/test/simplebufferConstraintTests.expect
+++ b/test/simplebufferConstraintTests.expect
@@ -3,25 +3,35 @@ m.c: (in function t)
 m.c:9:1: Index of possibly null pointer f: f
    m.c:8:5: Storage f may become null
 sizeof.c: (in function f)
-sizeof.c:17:1: Unresolved constraint:
-    Lclint is unable to resolve Requires: :
-    ( 2 )   >=  ( 3 )  needed to satisfy Requires: : MAXSET ((x @ sizeof.c:17:1
-    ) )  >=  ( 3 ) 
+sizeof.c:17:1: Possible out-of-bounds store:
+    x[(sizeof(x))]
+    Unable to resolve constraint:
+    requires 2 >= 3
+     needed to satisfy precondition:
+    requires maxSet(x @ sizeof.c:17:1) >= 3
 test3.c:2:6: Function t defined more than once
    m.c:11:1: Previous definition of t
 test3.c: (in function t)
-test3.c:9:3: Unresolved constraint:
-    Lclint is unable to resolve Requires: :
-    ( 99 )   >=  ( 101 )  needed to satisfy Requires: : MAXSET ((g @
-    test3.c:9:3 ) )  >=  ( 101 ) 
+test3.c:9:3: Possible out-of-bounds store:
+    g[101]
+    Unable to resolve constraint:
+    requires 99 >= 101
+     needed to satisfy precondition:
+    requires maxSet(g @ test3.c:9:3) >= 101
 test7.c:2:6: Function t defined more than once
    m.c:11:1: Previous definition of t
 test7.c: (in function t)
-test7.c:8:3: Unresolved constraint:
-    Lclint is unable to resolve Requires: : MAXSET ((j @ test7.c:8:3 ) )  >=  (
-    0 )  needed to satisfy Requires: : MAXSET ((j @ test7.c:8:3 ) )  >=  ( 0 ) 
-test7.c:6:3: Unresolved constraint:
-    Lclint is unable to resolve Requires: : MAXSET ((g @ test7.c:4:3 ) )  >=  (
-    4 )  needed to satisfy Requires: : MAXSET ((g @ test7.c:6:3 ) )  >=  ( 2 ) 
+test7.c:6:3: Possible out-of-bounds store:
+    g[2]
+    Unable to resolve constraint:
+    requires maxSet(g @ test7.c:4:3) >= 4
+     needed to satisfy precondition:
+    requires maxSet(g @ test7.c:6:3) >= 2
+test7.c:8:3: Possible out-of-bounds store:
+    j[0]
+    Unable to resolve constraint:
+    requires maxSet(j @ test7.c:8:3) >= 0
+     needed to satisfy precondition:
+    requires maxSet(j @ test7.c:8:3) >= 0
 
-Finished LCLint checking --- 7 code errors found
+Finished checking --- 7 code warnings, as expected