X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..51bc6ecce8b6e9877dccd8bda2cf220b47e6929c:/test/refcounts.expect diff --git a/test/refcounts.expect b/test/refcounts.expect index c6eda45..2711f2f 100644 --- a/test/refcounts.expect +++ b/test/refcounts.expect @@ -4,9 +4,9 @@ refcounts.c:18:13: Reference counted storage passed as only param: free (x) refcounts.c: (in function rp_temp) refcounts.c:24:10: New reference returned as temp reference: rp_create2() refcounts.c: (in function rp_f) -refcounts.c:32:3: Kill reference parameter r2 not released before assignment: - r2 = rp_temp() - refcounts.c:27:50: Storage r2 becomes newref +refcounts.c:32:3: Kill reference parameter r2 (type rp) not released before + assignment: r2 = rp_temp() + refcounts.c:27:50: Storage r2 becomes killref refcounts.c: (in function rp_ref) refcounts.c:48:10: Reference counted storage returned without modifying reference count: x @@ -14,10 +14,10 @@ refcounts.c: (in function rp_waste) refcounts.c:63:13: New reference z2 not released before return refcounts.c:60:23: Storage z2 becomes newref refcounts.c: (in function rp_waste2) -refcounts.c:71:3: New reference z2 not released before assignment: +refcounts.c:71:3: New reference z2 (type rp) not released before assignment: z2 = rp_ref(z1) refcounts.c:69:23: Storage z2 becomes newref refcounts.c:72:13: New reference z2 not released before return refcounts.c:71:3: Storage z2 becomes newref -Finished LCLint checking --- 7 code errors found, as expected +Finished checking --- 7 code warnings, as expected