]> andersk Git - splint.git/blobdiff - test/deadparam.expect
Improved tracking of state change locations. Added +showdeephistory
[splint.git] / test / deadparam.expect
index f8e8db52e6d4db19065941bcac131aba19c62d45..0f78439f94eda0d60bfbf561d4f13bec7adc4c4d 100644 (file)
@@ -1,9 +1,9 @@
 
 deadparam.c: (in function t)
 deadparam.c:7:6: Dead storage s1 passed as out parameter to f: s1
-   deadparam.c:6:9: Storage s1 is released
+   deadparam.c:6:9: Storage s1 released
 deadparam.c:10:6: Dead storage s2 passed as special parameter to g: s2
-   deadparam.c:9:9: Storage s2 is released
+   deadparam.c:9:9: Storage s2 released
 deadparam.c:10:6: Allocated storage s2 corresponds to storage listed in
                      allocates clause of called function: s2
 
This page took 0.091876 seconds and 4 git commands to generate.