]> andersk Git - splint.git/blobdiff - test/linked.expect
Improved tracking of state change locations. Added +showdeephistory
[splint.git] / test / linked.expect
index 3abc4e61eb4dca39adbc345cca80858bcd542cca..5cf80f30a18cefb8d103ffb5493c1aa383c158f0 100644 (file)
@@ -20,7 +20,7 @@ linked2.c:23:15: Possibly null storage nn passed as non-null param:
                     node_free1 (nn)
    linked2.c:21:13: Storage nn may become null
 linked2.c:23:15: Dependent storage nn passed as only param: node_free1 (nn)
-   linked2.c:23:15: Storage nn becomes dependent
+   linked2.c:23:15: Storage nn becomes dependent (through alias n->next)
 
 Finished checking --- 3 code warnings, as expected
 
This page took 0.06434 seconds and 4 git commands to generate.