X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/4109ede4aeaeba5a1f9294d544b4229d7602064f..59a4360f02565d806d4bbd486cfdb5984b726db4:/test/mystrncat.expect

diff --git a/test/mystrncat.expect b/test/mystrncat.expect
index 8e3d6b8..66dc82c 100644
--- a/test/mystrncat.expect
+++ b/test/mystrncat.expect
@@ -4,14 +4,19 @@ mystrncat.c:12:13: Passed storage buffer not completely defined (*buffer is
                       undefined): mystrncat (buffer, ...)
 mystrncat.c:13:13: Passed storage b not completely defined (*b is undefined):
                       mystrncat (b, ...)
-mystrncat.c:12:3: Possible out-of-bounds store.  Unable to resolve constraint:
+   mystrncat.c:10:3: Storage *b allocated
+mystrncat.c:12:3: Possible out-of-bounds store:
+    mystrncat(buffer, str, sizeof((buffer)) - 1)
+    Unable to resolve constraint:
     requires maxRead(buffer @ mystrncat.c:12:13) <= 0
      needed to satisfy precondition:
     requires maxSet(buffer @ mystrncat.c:12:13) >= maxRead(buffer @
     mystrncat.c:12:13) + 255
      derived from mystrncat precondition:
     requires maxSet(<parameter 1>) >= maxRead(<parameter 1>) + <parameter 3>
-mystrncat.c:13:3: Possible out-of-bounds store.  Unable to resolve constraint:
+mystrncat.c:13:3: Possible out-of-bounds store:
+    mystrncat(b, str, sizeof((buffer)) - 1)
+    Unable to resolve constraint:
     requires maxRead(malloc(256) @ mystrncat.c:10:7) <= 0
      needed to satisfy precondition:
     requires maxSet(b @ mystrncat.c:13:13) >= maxRead(b @ mystrncat.c:13:13) +
@@ -19,4 +24,4 @@ mystrncat.c:13:3: Possible out-of-bounds store.  Unable to resolve constraint:
      derived from mystrncat precondition:
     requires maxSet(<parameter 1>) >= maxRead(<parameter 1>) + <parameter 3>
 
-Finished LCLint checking --- 4 code errors found, as expected
+Finished checking --- 4 code warnings, as expected