Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / strings.expect

diff --git a/test/strings.expect b/test/strings.expect
index f614215b562366b7614d9f42c547962c64ec389d..1d835e169262eec22267264762528073ce210971 100644 (file)
--- a/test/strings.expect
+++ b/test/strings.expect
@@ -2,6 +2,7 @@
 strings.c:21:6: Function main declared to return void, should return int
 strings.c: (in function main)
 strings.c:24:14: Function call may modify observer: "hullo"
+   strings.c:24:14: Storage becomes observer
 strings.c:25:7: Observer storage passed as only param: f3 ("hullo")
    strings.c:25:7: Storage becomes observer
 
@@ -15,6 +16,7 @@ strings.c: (in function main)
 strings.c:23:14: Call to unconstrained function f1 may modify observer: "hullo"
    strings.c:23:14: Storage becomes observer
 strings.c:24:14: Function call may modify observer: "hullo"
+   strings.c:24:14: Storage becomes observer
 strings.c:25:7: Call to unconstrained function f3 may modify observer: "hullo"
    strings.c:25:7: Storage becomes observer
 strings.c:25:7: Observer storage passed as only param: f3 ("hullo")