Pushed back constraintResolve.c to the previous version.

[splint.git] / test / maxset.expect

diff --git a/test/maxset.expect b/test/maxset.expect
index 3973259d14a632869a8df579c9c0106f7ae094e8..6a34ab0d7a6eab3950ca2cde0269387e4fb0f5ec 100644 (file)
--- a/test/maxset.expect
+++ b/test/maxset.expect
@@ -1,12 +1,16 @@
 
-Finished LCLint checking --- no code errors found
+Finished checking --- no warnings
 
 maxsetnoannotations.c: (in function noancopy)
-maxsetnoannotations.c:4:1: Unresolved constraint:
-    Lclint is unable to resolve Requires: : MAXSET ((a @ maxsetnoannotations.c:4
-    :9 ) )  >=  MAXREAD ((b @ maxsetnoannotations.c:4:11 ) ) needed to satisfy
-    Requires: : MAXSET ((a @ maxsetnoannotations.c:4:9 ) )  >=  MAXREAD ((b @
-    maxsetnoannotations.c:4:11 ) ) derived from strcpy precondition: Requires:
-    : MAXSET ((<parameter 1> ) )  >=  MAXREAD ((<parameter 2> ) )
+maxsetnoannotations.c:2:3: Possible out-of-bounds store:
+    strcpy(a, b)
+    Unable to resolve constraint:
+    requires maxSet(a @ maxsetnoannotations.c:2:11) >= maxRead(b @
+    maxsetnoannotations.c:2:13)
+     needed to satisfy precondition:
+    requires maxSet(a @ maxsetnoannotations.c:2:11) >= maxRead(b @
+    maxsetnoannotations.c:2:13)
+     derived from strcpy precondition: requires maxSet(<parameter 1>) >=
+    maxRead(<parameter 2>)
 
-Finished LCLint checking --- 1 code error found
+Finished checking --- 1 code warning, as expected