*** empty log message ***

[splint.git] / test / compdestroy.out

diff --git a/test/compdestroy.out b/test/compdestroy.out
index c1687ce223f821cd5b8764bf4f479df19dd5161c..6c0cdd2ee46dba30a754e958cad566a6453f4505 100644 (file)
--- a/test/compdestroy.out
+++ b/test/compdestroy.out
@@ -1,12 +1,39 @@
 
-Cannot find standard library: ansi.lcd
-     Check LARCH_PATH environment variable.
+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 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
+                       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 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: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 checking --- 3 code warnings, as expected
+
 compdestroy.c: (in function sip_free)
-compdestroy.c:15:7: Unrecognized identifier: free
-compdestroy.c:21:2: Only storage x not released before return
-   compdestroy.c:9:31: Storage x becomes only
+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: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:27:2: Only storage x not released before return
-   compdestroy.c:23:32: Storage x becomes only
+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, expected 1
+Finished checking --- 3 code warnings, as expected