]> andersk Git - splint.git/blobdiff - test/union.expect
Improved tracking of state change locations. Added +showdeephistory
[splint.git] / test / union.expect
index 648fbccbc5c00690705e139fa97294f9e96a9f3d..e9f103a49ea70975ede5ee4e9ff667a9be748f58 100644 (file)
@@ -12,14 +12,14 @@ union.c:66:3: Implicitly temp storage p assigned to implicitly only:
                  u->st.ip = p
 union.c: (in function ut_mangle1)
 union.c:73:2: Released storage u->ox reachable from parameter at return point
-   union.c:72:9: Storage u->ox is released
+   union.c:72:9: Storage u->ox released
 union.c: (in function ut_mangle2)
 union.c:78:2: Released storage u->st.ip reachable from parameter at return
                  point
-   union.c:77:9: Storage u->st.ip is released
+   union.c:77:9: Storage u->st.ip released
 union.c: (in function ut_mangle3)
 union.c:84:2: Released storage u->st.ip reachable from parameter at return
                  point
-   union.c:82:9: Storage u->st.ip is released
+   union.c:82:9: Storage u->st.ip released
 
 Finished checking --- 8 code warnings, as expected
This page took 0.054216 seconds and 4 git commands to generate.