Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / mystrncat.expect

diff --git a/test/mystrncat.expect b/test/mystrncat.expect
index 065c32c49edf3a6e947621e5c2d5bc45af5230d0..66dc82c399e77b1d24ced11e49197ee0f8a2a757 100644 (file)
--- a/test/mystrncat.expect
+++ b/test/mystrncat.expect
@@ -4,6 +4,7 @@ mystrncat.c:12:13: Passed storage buffer not completely defined (*buffer is
                       undefined): mystrncat (buffer, ...)
 mystrncat.c:13:13: Passed storage b not completely defined (*b is undefined):
                       mystrncat (b, ...)
+   mystrncat.c:10:3: Storage *b allocated
 mystrncat.c:12:3: Possible out-of-bounds store:
     mystrncat(buffer, str, sizeof((buffer)) - 1)
     Unable to resolve constraint: