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