[splint.git] / test / outparam.out


outparam.c: (in function h)
outparam.c:8:3: Variable u1 used before definition
outparam.c:12:7: Field s->a used before definition
outparam.c: (in function f)
outparam.c:21:7: Value *a used before definition
outparam.c: (in function g)
outparam.c:37:5: Unallocated storage c passed as out parameter to f: c
outparam.c:37:8: Variable b used before definition
outparam.c:39:5: Unallocated storage d passed as out parameter to f: d
outparam.c:41:7: Variable t used before definition
outparam.c:42:7: Variable t2 used before definition
outparam.c:42:3: Assignment of int to st: s = t2->a
outparam.c:44:3: Variable t3 used before definition
outparam.c:47:5: Arrow access from possibly null pointer t4: t4->a
   outparam.c:46:8: Storage t4 may become null
outparam.c:48:13: Fresh storage t4 not released before return
   outparam.c:46:3: Fresh storage t4 allocated

Finished checking --- 12 code warnings, as expected
Commit	Line	Data
86d93ed3	1
	2	outparam.c: (in function h)
	3	outparam.c:8:3: Variable u1 used before definition
	4	outparam.c:12:7: Field s->a used before definition
	5	outparam.c: (in function f)
	6	outparam.c:21:7: Value *a used before definition
	7	outparam.c: (in function g)
	8	outparam.c:37:5: Unallocated storage c passed as out parameter to f: c
	9	outparam.c:37:8: Variable b used before definition
	10	outparam.c:39:5: Unallocated storage d passed as out parameter to f: d
	11	outparam.c:41:7: Variable t used before definition
	12	outparam.c:42:7: Variable t2 used before definition
	13	outparam.c:42:3: Assignment of int to st: s = t2->a
	14	outparam.c:44:3: Variable t3 used before definition
	15	outparam.c:47:5: Arrow access from possibly null pointer t4: t4->a
	16	outparam.c:46:8: Storage t4 may become null
	17	outparam.c:48:13: Fresh storage t4 not released before return
	18	outparam.c:46:3: Fresh storage t4 allocated
	19
	20	Finished checking --- 12 code warnings, as expected