Editng test to reflect additional constraint information.

diff --git a/test/for/for.c b/test/for/for.c
index 8c1e4feb12806467e04045a9b67a2db093617c07..2de128d424332c8a40fc7644b8f9a237da365e3b 100644 (file)
--- a/test/for/for.c
+++ b/test/for/for.c
@@ -1,11 +1,11 @@
 void f()
 {
-int i;
+int j, i;
 char s[11];
 char t[11];
-for (i = 0; i <= 10; i++)
+for (j = 0; j <= 10; j++)
   {
-    s[i] = '\0';
+    s[j] = '\0';
   }
 
 for (i = 0; i <= 11; i++)

diff --git a/test/moreBufferTests.expect b/test/moreBufferTests.expect
index 23697c16a60a93dd0492a9a4b3869ac91d7bb2ec..1ebdd143d755ddd85a071f0fef486a873f958506 100644 (file)
--- a/test/moreBufferTests.expect
+++ b/test/moreBufferTests.expect
@@ -38,5 +38,8 @@ strncatNotReallyGood.c:4:21: Possible out-of-bounds store.  Unable to resolve
      needed to satisfy precondition:
     requires: : maxSet ((buffer @ strncatNotReallyGood.c:4:29 ) )  >=  (maxRead
     ((buffer @ strncatNotReallyGood.c:4:29 ) )) + (( 255 ) )
+     derived from strncat precondition: requires: :
+    maxSet ((<parameter 1> ) )  >=  (maxRead ((<parameter 1> ) )) +
+    ((<parameter 3> ) )
 
 Finished LCLint checking --- 8 code errors found