X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/4109ede4aeaeba5a1f9294d544b4229d7602064f..5e211f69ddc6240f0db9af54a57134d237401d37:/test/moreBufferTests.expect

diff --git a/test/moreBufferTests.expect b/test/moreBufferTests.expect
index 54806f1..a3e9829 100644
--- a/test/moreBufferTests.expect
+++ b/test/moreBufferTests.expect
@@ -3,33 +3,33 @@ unrecogCall.c: (in function foo)
 unrecogCall.c:8:3: Unrecognized identifier: bar
 initialization.c: (in function initialization)
 initialization.c:5:10: Variable g declared but not used
-initialization.c:8:3: Possible out-of-bounds store.  Unable to resolve
-    constraint:
-    requires maxSet(d @ initialization.c:3:14) >= 2
-     needed to satisfy precondition:
-    requires maxSet(f @ initialization.c:8:3) >= 2
-initialization.c:5:14: Possible out-of-bounds read.  Unable to resolve
-    constraint:
+initialization.c:5:14: Possible out-of-bounds read:
+    Unable to resolve constraint:
     requires maxRead(d @ initialization.c:3:14) >= 22
      needed to satisfy precondition:
     requires maxRead(e @ initialization.c:5:14) >= 22
+initialization.c:8:3: Possible out-of-bounds store:
+    Unable to resolve constraint:
+    requires maxSet(d @ initialization.c:3:14) >= 2
+     needed to satisfy precondition:
+    requires maxSet(f @ initialization.c:8:3) >= 2
 simplifyTest.c: (in function fooSub)
-simplifyTest.c:3:3: Possible out-of-bounds store.  Unable to resolve
-    constraint:
+simplifyTest.c:3:3: Possible out-of-bounds store:
+    Unable to resolve constraint:
     requires maxSet(s @ simplifyTest.c:3:3) >= i @ simplifyTest.c:3:5
      needed to satisfy precondition:
     requires maxSet(s @ simplifyTest.c:3:3) >= i @ simplifyTest.c:3:5
 simplifyTest.c: (in function fooAdd)
-simplifyTest.c:10:3: Possible out-of-bounds store.  Unable to resolve
-    constraint:
+simplifyTest.c:10:3: Possible out-of-bounds store:
+    Unable to resolve constraint:
     requires maxSet(s @ simplifyTest.c:10:3) >= i @ simplifyTest.c:10:5 + 2
      needed to satisfy precondition:
     requires maxSet(s @ simplifyTest.c:10:3) >= i @ simplifyTest.c:10:5 + 2
 strncatNotReallyGood.c: (in function NotGoodfunc)
 strncatNotReallyGood.c:4:29: Passed storage buffer not completely defined
                                 (*buffer is undefined): strncat (buffer, ...)
-strncatNotReallyGood.c:4:21: Possible out-of-bounds store.  Unable to resolve
-    constraint:
+strncatNotReallyGood.c:4:21: Possible out-of-bounds store:
+    Unable to resolve constraint:
     requires maxRead(buffer @ strncatNotReallyGood.c:4:29) <= 0
      needed to satisfy precondition:
     requires maxSet(buffer @ strncatNotReallyGood.c:4:29) >= maxRead(buffer @
@@ -37,4 +37,4 @@ strncatNotReallyGood.c:4:21: Possible out-of-bounds store.  Unable to resolve
      derived from strncat precondition: requires maxSet(<parameter 1>) >=
     maxRead(<parameter 1>) + <parameter 3>
 
-Finished LCLint checking --- 8 code errors found
+Finished checking --- 8 code warnings, as expected