[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 checking --- 1 code warning, as expected
Commit	Line	Data
86d93ed3	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