X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/7bf960677344d11a101697c76672a0be4b3759f2..16c024b587f5ddc115928d5cca7095508aa208d9:/test/constannot.expect

diff --git a/test/constannot.expect b/test/constannot.expect
index d8cfbb5..6cb0756 100644
--- a/test/constannot.expect
+++ b/test/constannot.expect
@@ -1,12 +1,14 @@
 
 constannot.c: (in function foo2)
 constannot.c:11:3: Possible out-of-bounds store:
+    str[20]
     Unable to resolve constraint:
     requires maxSet(str @ constannot.c:11:3) >= 20
      needed to satisfy precondition:
     requires maxSet(str @ constannot.c:11:3) >= 20
 constannot.c: (in function foo3)
 constannot.c:20:3: Possible out-of-bounds store:
+    foo(buf)
     Unable to resolve constraint:
     requires <const int=20> <= 19
      needed to satisfy precondition:
@@ -14,4 +16,4 @@ constannot.c:20:3: Possible out-of-bounds store:
      derived from foo precondition: requires maxSet(<parameter 1>) >= <const
     int=20>
 
-Finished LCLint checking --- 2 code errors found, as expected
+Finished checking --- 2 code warnings, as expected