X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/97387c9b890343b0729d98181198ac954f507937..98ed3b22cc6220600844f91bf4167eebd0457a3f:/test/mystrncat.out

diff --git a/test/mystrncat.out b/test/mystrncat.out
new file mode 100644
index 0000000..490d7e3
--- /dev/null
+++ b/test/mystrncat.out
@@ -0,0 +1,24 @@
+
+mystrncat.c: (in function func)
+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: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> ) )
+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> ) )
+
+Finished LCLint checking --- 4 code errors found, as expected