Pushed back constraintResolve.c to the previous version.

[splint.git] / test / compdestroy.expect

diff --git a/test/compdestroy.expect b/test/compdestroy.expect
index 15836948d75c5ca36b6add1ec2a4c3c3731ea979..9e05b62a266cf7c2e4f8f066974a49f283878f38 100644 (file)
--- a/test/compdestroy.expect
+++ b/test/compdestroy.expect
@@ -3,7 +3,7 @@ compdestroy.c: (in function sip_free2)
 compdestroy.c:25:9: Only storage *(x->ips) (type oip) derived from released
                        storage is not released (memory leak): x->ips
 
-Finished LCLint checking --- 1 code error found, as expected
+Finished checking --- 1 code warning, as expected
 
 compdestroy.c: (in function sip_free)
 compdestroy.c:19:9: Only storage x->ips[] (type oip) derived from released
@@ -12,28 +12,28 @@ compdestroy.c: (in function sip_free2)
 compdestroy.c:25:9: Only storage *(x->ips) (type oip) derived from released
                        storage is not released (memory leak): x->ips
 
-Finished LCLint checking --- 2 code errors found, as expected
+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)
 compdestroy.c:25:9: Only storage *(x->ips) (type oip) derived from released
                        storage is not released (memory leak): x->ips
 
-Finished LCLint checking --- 3 code errors found, as expected
+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)
 compdestroy.c:25:9: Only storage *(x->ips) (type oip) derived from released
                        storage is not released (memory leak): x->ips
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected