X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/80ee600a548f705b2875267c01bcc63e95203578..b2d6351a4779b8f0c4e781915f41191b8a3c1150:/test/linked.expect diff --git a/test/linked.expect b/test/linked.expect index 5333334..3abc4e6 100644 --- a/test/linked.expect +++ b/test/linked.expect @@ -11,7 +11,7 @@ linked.c:23:15: Possibly null storage nn passed as non-null param: node_free1 (nn) linked.c:21:13: Storage nn may become null -Finished LCLint checking --- 4 code errors found, as expected +Finished checking --- 4 code warnings, as expected linked2.c: (in function node_free2) linked2.c:15:8: Variable nn declared but not used @@ -22,7 +22,7 @@ linked2.c:23:15: Possibly null storage nn passed as non-null param: linked2.c:23:15: Dependent storage nn passed as only param: node_free1 (nn) linked2.c:23:15: Storage nn becomes dependent -Finished LCLint checking --- 3 code errors found, as expected +Finished checking --- 3 code warnings, as expected linked3.c: (in function node_free1) linked3.c:10:9: Only storage n->val (type char *) derived from released storage @@ -36,7 +36,7 @@ linked3.c:17:2: Only storage nn not released before return linked3.c:16:9: Storage nn becomes only linked3.c:15:8: Variable nn declared but not used -Finished LCLint checking --- 5 code errors found, as expected +Finished checking --- 5 code warnings, as expected linked4.c: (in function node_free1) linked4.c:14:9: Only storage n->val (type item) derived from released storage @@ -53,7 +53,7 @@ linked4.c: (in function node_free3) linked4.c:26:9: Only storage n->val->val (type char *) derived from released storage is not released (memory leak): n->val -Finished LCLint checking --- 6 code errors found, as expected +Finished checking --- 6 code warnings, as expected linked5.c: (in function node_free1) linked5.c:14:9: Only storage n->next (type node) derived from released storage @@ -65,7 +65,7 @@ linked5.c:19:8: Variable nn declared but not used linked5.c: (in function node_free3) linked5.c:26:9: Dependent storage n->val passed as only param: free (n->val) -Finished LCLint checking --- 4 code errors found, as expected +Finished checking --- 4 code warnings, as expected linked6.c: (in function node_free1) linked6.c:16:9: Only storage n->val (type item) derived from released storage @@ -77,4 +77,4 @@ linked6.c:24:2: Only storage nn not released before return linked6.c:23:9: Storage nn becomes only linked6.c:21:8: Variable nn declared but not used -Finished LCLint checking --- 4 code errors found, as expected +Finished checking --- 4 code warnings, as expected