[splint.git] / test / unreachable.out


unreachable.c: (in function f)
unreachable.c:6:4: Unreachable code: x++
unreachable.c: (in function tu)
unreachable.c:21:7: Unreachable code: return
unreachable.c: (in function s)
unreachable.c:33:29: Unreachable code: z--
unreachable.c:34:10: Fall through case (no preceding break)
unreachable.c:45:4: Unreachable code: z++

Finished checking --- 5 code warnings, as expected

unreachable.c: (in function s)
unreachable.c:34:10: Fall through case (no preceding break)
unreachable.c:46:2: Path with no return in function declared to return int

Finished checking --- 2 code warnings, as expected

switch.c: (in function f3)
switch.c:31:2: Path with no return in function declared to return int
switch.c: (in function f5)
switch.c:49:6: Missing case in switch: THREE
switch.c:50:2: Path with no return in function declared to return int
switch.c: (in function f6)
switch.c:70:2: Path with no return in function declared to return int

Finished checking --- 4 code warnings, as expected
Commit	Line	Data
86d93ed3	1
	2	unreachable.c: (in function f)
	3	unreachable.c:6:4: Unreachable code: x++
	4	unreachable.c: (in function tu)
	5	unreachable.c:21:7: Unreachable code: return
	6	unreachable.c: (in function s)
	7	unreachable.c:33:29: Unreachable code: z--
	8	unreachable.c:34:10: Fall through case (no preceding break)
	9	unreachable.c:45:4: Unreachable code: z++
	10
	11	Finished checking --- 5 code warnings, as expected
	12
	13	unreachable.c: (in function s)
	14	unreachable.c:34:10: Fall through case (no preceding break)
	15	unreachable.c:46:2: Path with no return in function declared to return int
	16
	17	Finished checking --- 2 code warnings, as expected
	18
	19	switch.c: (in function f3)
	20	switch.c:31:2: Path with no return in function declared to return int
	21	switch.c: (in function f5)
	22	switch.c:49:6: Missing case in switch: THREE
	23	switch.c:50:2: Path with no return in function declared to return int
	24	switch.c: (in function f6)
	25	switch.c:70:2: Path with no return in function declared to return int
	26
	27	Finished checking --- 4 code warnings, as expected