[splint.git] / test / ud.out


ud.c: (in function f)
ud.c:8:7: Variable y used before definition
ud.c:10:7: Variable z used before definition
ud.c:25:7: Variable z3 used before definition
ud.c:26:7: Variable z4 used before definition
ud.c:31:7: Variable z6 used before definition
ud.c:38:11: Variable j used before definition
ud.c:49:6: Variable i used before definition
ud.c:50:6: Variable z5 used before definition
ud.c:56:7: Variable z5 used before definition

Finished checking --- 9 code warnings, as expected

ud2.c: (in function g)
ud2.c:9:6: Unallocated storage y passed as out parameter to f1: y
ud2.c: (in function h)
ud2.c:20:7: Passed storage &x not completely defined: f2 (&x)
ud2.c:23:7: Variable y used before definition

Finished checking --- 3 code warnings, as expected
Commit	Line	Data
86d93ed3	1
	2	ud.c: (in function f)
	3	ud.c:8:7: Variable y used before definition
	4	ud.c:10:7: Variable z used before definition
	5	ud.c:25:7: Variable z3 used before definition
	6	ud.c:26:7: Variable z4 used before definition
	7	ud.c:31:7: Variable z6 used before definition
	8	ud.c:38:11: Variable j used before definition
	9	ud.c:49:6: Variable i used before definition
	10	ud.c:50:6: Variable z5 used before definition
	11	ud.c:56:7: Variable z5 used before definition
	12
	13	Finished checking --- 9 code warnings, as expected
	14
	15	ud2.c: (in function g)
	16	ud2.c:9:6: Unallocated storage y passed as out parameter to f1: y
	17	ud2.c: (in function h)
	18	ud2.c:20:7: Passed storage &x not completely defined: f2 (&x)
	19	ud2.c:23:7: Variable y used before definition
	20
	21	Finished checking --- 3 code warnings, as expected