X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/11db3170da99e22aa0acea76debd6c7b590a629c..51bc6ecce8b6e9877dccd8bda2cf220b47e6929c:/test/maxset.expect

diff --git a/test/maxset.expect b/test/maxset.expect
index 33755b2..6a34ab0 100644
--- a/test/maxset.expect
+++ b/test/maxset.expect
@@ -3,6 +3,7 @@ Finished checking --- no warnings
 
 maxsetnoannotations.c: (in function noancopy)
 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)