[splint.git] / test / loopexec.expect


loopexec.c: (in function g2)
loopexec.c:35:2: Out storage x not defined before return

Finished checking --- 1 code warning, as expected

loopexec.c: (in function g)
loopexec.c:13:2: Out storage x not defined before return
loopexec.c: (in function g1)
loopexec.c:24:2: Out storage x not defined before return
loopexec.c: (in function g2)
loopexec.c:35:2: Out storage x not defined before return

Finished checking --- 3 code warnings, as expected
Commit	Line	Data
3e3ec469	1
	2	loopexec.c: (in function g2)
	3	loopexec.c:35:2: Out storage x not defined before return
	4
	5	Finished checking --- 1 code warning, as expected
	6
	7	loopexec.c: (in function g)
	8	loopexec.c:13:2: Out storage x not defined before return
	9	loopexec.c: (in function g1)
	10	loopexec.c:24:2: Out storage x not defined before return
	11	loopexec.c: (in function g2)
	12	loopexec.c:35:2: Out storage x not defined before return
	13
	14	Finished checking --- 3 code warnings, as expected