]> andersk Git - splint.git/blob - test/release.out
andersk / splint.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
*** empty log message ***
[splint.git] / test / release.out
1
2 release.c: (in function f)
3 release.c:25:12: Owned storage z not released before return
4    release.c:22:7: Storage z becomes owned
5
6 Finished checking --- 1 code warning, as expected
git-cvsimport mirror of splint
This page took 0.083503 seconds and 5 git commands to generate.