[splint.git] / test / merge.expect


merge.c: (in function f2)
merge.c:33:4: Variable y used in inconsistent state
   merge.c:30:28: Storage y becomes inconsistent (released on one branch)
merge.c:33:4: Dereference of possibly null pointer y: *y
   merge.c:21:12: Storage y may become null
merge.c: (in function f3)
merge.c:51:4: Dereference of possibly null pointer y: *y
   merge.c:50:7: Storage y may become null

Finished checking --- 3 code warnings, as expected
Commit	Line	Data
885824d3	1
	2	merge.c: (in function f2)
	3	merge.c:33:4: Variable y used in inconsistent state
	4	merge.c:30:28: Storage y becomes inconsistent (released on one branch)
	5	merge.c:33:4: Dereference of possibly null pointer y: *y
	6	merge.c:21:12: Storage y may become null
	7	merge.c: (in function f3)
	8	merge.c:51:4: Dereference of possibly null pointer y: *y
	9	merge.c:50:7: Storage y may become null
	10
11db3170	11	Finished checking --- 3 code warnings, as expected