X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/0298464281f13d6f20b586de60d33d1c029ff71b..b342881cd72828b58b6b81890ae189cc1892830b:/test/mystrncat.expect

diff --git a/test/mystrncat.expect b/test/mystrncat.expect
index 1181889..848c8dd 100644
--- a/test/mystrncat.expect
+++ b/test/mystrncat.expect
@@ -4,21 +4,21 @@ 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:
-    requires: : maxRead ((buffer @ mystrncat.c:12:13 ) )  <=  ( 0 ) 
+mystrncat.c:12:3: Possible out-of-bounds store:
+    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:
-    requires: : maxRead ((malloc(256) @ mystrncat.c:10:7 ) )  <=  ( 0 ) 
+    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:
+    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 ) )) + (( 255 ) )
-     derived from mystrncat precondition: requires: :
-    maxSet ((<parameter 1> ) )  >=  (maxRead ((<parameter 1> ) )) +
-    ((<parameter 3> ) )
+    requires maxSet(b @ mystrncat.c:13:13) >= maxRead(b @ mystrncat.c:13:13) +
+    255
+     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