]> andersk Git - splint.git/blobdiff - test/list.expect
Remove unused cpplib_createDefinition.
[splint.git] / test / list.expect
index ee785f88d7df939f8c7644dd9fbffbc4597e7ec1..b8f57d847882a99b9072042316e94c3c7f37322d 100644 (file)
@@ -1,11 +1,14 @@
 
 list.c: (in function list_addh)
 list.c:24:5: Variable e is kept in true branch, but not kept in continuation.
+   list.c:24:5: in true branch:
    list.c:23:7: Storage e becomes kept
+   list.c:24:5: in continuation:
+   list.c:12:22: Storage e becomes only
 list.c:25:2: Storage *(l->next) reachable from parameter contains 1 undefined
                 field: next
 list.c: (in function list_addh2)
 list.c:39:2: Storage *(l->next) reachable from parameter contains 1 undefined
                 field: next
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected
This page took 0.038651 seconds and 4 git commands to generate.