Put manual in CVS

[splint.git] / test / manual.expect

diff --git a/test/manual.expect b/test/manual.expect
index 1c0a98608b796a658d95e5c27e03e54a57269cf4..9b96ad95988929e8e3ae2054a6cce970e2eb76fc 100644 (file)
--- a/test/manual.expect
+++ b/test/manual.expect
@@ -217,17 +217,16 @@ multiError.c:4: Possible out-of-bounds store:
 
 Finished checking --- 1 code warning, as expected
 
-updateMyEnv.c:16: Possible out-of-bounds store:
+bounds.c:9: Possible out-of-bounds store:
     strcpy(str, tmp)
     Unable to resolve constraint:
-    requires maxSet(str @ updateMyEnv.c:16) >=
-    maxRead(getenv("MYENV") @ updateMyEnv.c:14)
+    requires maxSet(str @ bounds.c:9) >=
+    maxRead(getenv("MYENV") @ bounds.c:7)
      needed to satisfy precondition:
-    requires maxSet(str @ updateMyEnv.c:16) >=
-    maxRead(tmp @ updateMyEnv.c:16)
+    requires maxSet(str @ bounds.c:9) >=
+    maxRead(tmp @ bounds.c:9)
      derived from strcpy precondition: requires
-    maxSet(<parameter 1>) >= maxRead(<parameter 2>)
+    maxSet(<parameter 1>) >= maxRead(<parameter
+    2>)
 
 Finished checking --- 1 code warning, as expected
-
-Finished checking --- no warnings