*** empty log message ***

[splint.git] / test / mystrncat.expect

diff --git a/test/mystrncat.expect b/test/mystrncat.expect
index 11fbb87b7a668c6cb9aa111d7586769dc22e74d0..490d7e30a81bab20f748e682d853fa8dd04bbe97 100644 (file)
--- a/test/mystrncat.expect
+++ b/test/mystrncat.expect
@@ -4,19 +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:13:3: Unresolved constraint:
-    Lclint is unable to resolve Requires: :
-    MAXREAD ((malloc(256) @ mystrncat.c:10:7 ) )  <=  ( 0 )  needed to satisfy
-    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> ) )) +
+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: Unresolved constraint:
-    Lclint is unable to resolve Requires: : MAXREAD ((buffer @
-    mystrncat.c:12:13 ) )  <=  ( 0 )  needed to satisfy 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> ) )) +
+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