noexpand always false.

[splint.git] / test / maxset.expect

diff --git a/test/maxset.expect b/test/maxset.expect
index 33755b2405ea083b490f6c52d94c386c0ffd56c0..306c5d1525477d4a2dc1ffabc5e4f3876b7a2c79 100644 (file)
--- a/test/maxset.expect
+++ b/test/maxset.expect
@@ -2,7 +2,7 @@
 Finished checking --- no warnings
 
 maxsetnoannotations.c: (in function noancopy)
-maxsetnoannotations.c:2:3: Possible out-of-bounds store:
+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)