]> andersk Git - splint.git/blobdiff - test/sharing.expect
Fixed problem with handleing oldsytle function declarations.
[splint.git] / test / sharing.expect
index 44b94f7912835522e4e84a92ce675d7f3ee804f4..eb829552608b42dc8e454bb429e437fafc555225 100644 (file)
@@ -13,7 +13,8 @@ sharing1.c:24:3: Only storage x assigned to shared: globshared1 = x
 sharing1.c:25:2: Only storage x not released before return
    sharing1.c:22:25: Storage x becomes only
 sharing1.c: (in function f4)
-sharing1.c:29:3: Only storage zonly not released before assignment: zonly = x
+sharing1.c:29:3: Only storage zonly (type int *) not released before
+                    assignment: zonly = x
    sharing1.c:6:19: Storage zonly becomes only
 sharing1.c: (in function g)
 sharing1.c:41:7: Implicitly temp storage imp passed as only param: f3 (imp)
@@ -49,7 +50,7 @@ sharing1.c:59:13: Function returns with global globonly referencing released
                      storage
    sharing1.c:57:9: Storage globonly is released
 
-Finished LCLint checking --- 21 code errors found, as expected
+Finished checking --- 21 code warnings, as expected
 
 sharing3.c: (in function string_copy)
 sharing3.c:17:10: Implicitly temp storage s returned as only: s
@@ -59,14 +60,14 @@ sharing3.c: (in function string_free3)
 sharing3.c:45:2: Fresh storage t not released before return
    sharing3.c:42:29: Fresh storage t allocated
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected
 
 sharing4.c: (in function f)
-sharing4.c:18:3: Only storage globonly1 not released before assignment:
-                    globonly1 = only1
+sharing4.c:18:3: Only storage globonly1 (type char *) not released before
+                    assignment: globonly1 = only1
    sharing4.c:1:20: Storage globonly1 becomes only
-sharing4.c:23:3: Only storage globonly4 not released before assignment:
-                    globonly4 = shared1
+sharing4.c:23:3: Only storage globonly4 (type char *) not released before
+                    assignment: globonly4 = shared1
    sharing4.c:4:20: Storage globonly4 becomes only
 sharing4.c:23:3: Shared storage shared1 assigned to only: globonly4 = shared1
    sharing4.c:14:26: Storage shared1 becomes shared
@@ -83,8 +84,8 @@ sharing4.c:32:3: Only storage assigned to shared:
                     globshared1 = string_copy(local1)
 sharing4.c:34:3: Temp storage temp2 assigned to shared: globshared2 = temp2
    sharing4.c:13:37: Storage temp2 becomes temp
-sharing4.c:35:3: Only storage globonly4 not released before assignment:
-                    globonly4 = temp1
+sharing4.c:35:3: Only storage globonly4 (type char *) not released before
+                    assignment: globonly4 = temp1
    sharing4.c:4:20: Storage globonly4 becomes only
 sharing4.c:35:3: Implicitly temp storage temp1 assigned to only:
                     globonly4 = temp1
@@ -96,14 +97,14 @@ sharing4.c:42:12: Function returns with global globonly3 referencing released
                      storage
    sharing4.c:21:9: Storage globonly3 is released
 
-Finished LCLint checking --- 13 code errors found, as expected
+Finished checking --- 13 code warnings, as expected
 
 sharing4.c: (in function f)
-sharing4.c:18:3: Only storage globonly1 not released before assignment:
-                    globonly1 = only1
+sharing4.c:18:3: Only storage globonly1 (type char *) not released before
+                    assignment: globonly1 = only1
    sharing4.c:1:20: Storage globonly1 becomes only
-sharing4.c:23:3: Only storage globonly4 not released before assignment:
-                    globonly4 = shared1
+sharing4.c:23:3: Only storage globonly4 (type char *) not released before
+                    assignment: globonly4 = shared1
    sharing4.c:4:20: Storage globonly4 becomes only
 sharing4.c:23:3: Shared storage shared1 assigned to only: globonly4 = shared1
    sharing4.c:14:26: Storage shared1 becomes shared
@@ -120,8 +121,8 @@ sharing4.c:32:3: Only storage assigned to shared:
                     globshared1 = string_copy(local1)
 sharing4.c:34:3: Temp storage temp2 assigned to shared: globshared2 = temp2
    sharing4.c:13:37: Storage temp2 becomes temp
-sharing4.c:35:3: Only storage globonly4 not released before assignment:
-                    globonly4 = temp1
+sharing4.c:35:3: Only storage globonly4 (type char *) not released before
+                    assignment: globonly4 = temp1
    sharing4.c:4:20: Storage globonly4 becomes only
 sharing4.c:38:9: Shared storage shared1 passed as only param: free (shared1)
    sharing4.c:14:26: Storage shared1 becomes shared
@@ -131,7 +132,7 @@ sharing4.c:42:12: Function returns with global globonly3 referencing released
                      storage
    sharing4.c:21:9: Storage globonly3 is released
 
-Finished LCLint checking --- 12 code errors found, as expected
+Finished checking --- 12 code warnings, as expected
 
 sharing5.c: (in function f)
 sharing5.c:13:4: Variable only1 used after being released
@@ -144,10 +145,10 @@ sharing5.c:24:9: Shared storage shared passed as only param (local2 aliases
    sharing5.c:5:27: Storage shared becomes shared
 sharing5.c:27:4: Dereference of possibly null pointer localp: *localp
    sharing5.c:26:12: Storage localp may become null
-sharing5.c:32:3: Fresh storage localp not released before assignment:
-                    localp = &only3
+sharing5.c:32:3: Fresh storage localp (type char **) not released before
+                    assignment: localp = &only3
    sharing5.c:26:3: Fresh storage localp allocated
 sharing5.c:33:2: Only storage only3 not released before return
    sharing5.c:4:73: Storage only3 becomes only
 
-Finished LCLint checking --- 6 code errors found, as expected
+Finished checking --- 6 code warnings, as expected
This page took 0.069997 seconds and 4 git commands to generate.