Pushed back constraintResolve.c to the previous version.

[splint.git] / test / compdestroy.expect

diff --git a/test/compdestroy.expect b/test/compdestroy.expect
index 6c0cdd2ee46dba30a754e958cad566a6453f4505..9e05b62a266cf7c2e4f8f066974a49f283878f38 100644 (file)
--- a/test/compdestroy.expect
+++ b/test/compdestroy.expect
@@ -17,7 +17,7 @@ Finished checking --- 2 code warnings, as expected
 compdestroy.c: (in function sip_free)
 compdestroy.c:16:13: Possibly dead storage x->ips[] passed as out parameter:
                         x->ips[i]
-   compdestroy.c:15:13: Storage x->ips[] becomes probably dead
+   compdestroy.c:15:13: Storage x->ips[] possibly released
 compdestroy.c:19:9: Only storage x->ips[] (type oip) derived from released
                        storage may not have been released: x->ips
 compdestroy.c: (in function sip_free2)
@@ -29,7 +29,7 @@ Finished checking --- 3 code warnings, as expected
 compdestroy.c: (in function sip_free)
 compdestroy.c:16:13: Possibly dead storage x->ips[] passed as out parameter:
                         x->ips[i]
-   compdestroy.c:15:13: Storage x->ips[] becomes probably dead
+   compdestroy.c:15:13: Storage x->ips[] possibly released
 compdestroy.c:19:9: Only storage x->ips[] (type oip) derived from released
                        storage may not have been released: x->ips
 compdestroy.c: (in function sip_free2)