Fixed bug preventing +showconstraintlocation from being the default.

[splint.git] / test / mystrncat.expect

diff --git a/test/mystrncat.expect b/test/mystrncat.expect
index 848c8dd74e47ed2ead748886c603dc7dae6fe277..065c32c49edf3a6e947621e5c2d5bc45af5230d0 100644 (file)
--- a/test/mystrncat.expect
+++ b/test/mystrncat.expect
@@ -5,6 +5,7 @@ mystrncat.c:12:13: Passed storage buffer not completely defined (*buffer is
 mystrncat.c:13:13: Passed storage b not completely defined (*b is undefined):
                       mystrncat (b, ...)
 mystrncat.c:12:3: Possible out-of-bounds store:
+    mystrncat(buffer, str, sizeof((buffer)) - 1)
     Unable to resolve constraint:
     requires maxRead(buffer @ mystrncat.c:12:13) <= 0
      needed to satisfy precondition:
@@ -13,6 +14,7 @@ mystrncat.c:12:3: Possible out-of-bounds store:
      derived from mystrncat precondition:
     requires maxSet(<parameter 1>) >= maxRead(<parameter 1>) + <parameter 3>
 mystrncat.c:13:3: Possible out-of-bounds store:
+    mystrncat(b, str, sizeof((buffer)) - 1)
     Unable to resolve constraint:
     requires maxRead(malloc(256) @ mystrncat.c:10:7) <= 0
      needed to satisfy precondition: