[splint.git] / test / release.out


release.c: (in function f)
release.c:25:12: Owned storage z not released before return
   release.c:22:7: Storage z becomes owned

Finished LCLint checking --- 1 code error found, as expected
Commit	Line	Data
885824d3	1
885824d3	2	release.c: (in function f)
8e37b772	3	release.c:25:12: Owned storage z not released before return
8e37b772	4	release.c:22:7: Storage z becomes owned
885824d3	5
8e37b772	6	Finished LCLint checking --- 1 code error found, as expected