]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | int f1(int x) |
2 | { | |
3 | switch (x) | |
4 | { | |
5 | case 0: return 3; | |
6 | case 1: return 4; | |
7 | default: return 6; | |
8 | } | |
9 | } | |
10 | ||
11 | typedef enum _et { ONE, TWO, THREE } et; | |
12 | ||
13 | int f2 (et x) | |
14 | { | |
15 | switch (x) | |
16 | { | |
17 | case ONE: return 3; | |
18 | case TWO: return 8; | |
19 | case THREE: return 12; | |
20 | } | |
21 | } | |
22 | ||
23 | int f3 (et x) | |
24 | { | |
25 | switch (x) | |
26 | { | |
27 | case ONE: return 3; | |
28 | case TWO: break; | |
29 | default: return 12; | |
30 | } | |
31 | } /* 1. Path with no return in function declared to return int */ | |
32 | ||
33 | int f4 (et x) | |
34 | { | |
35 | switch (x) | |
36 | { | |
37 | case ONE: return 3; | |
38 | case TWO: return 14; | |
39 | default: return 12; | |
40 | } | |
41 | } | |
42 | ||
43 | int f5 (et x) | |
44 | { | |
45 | switch (x) | |
46 | { | |
47 | case ONE: return 3; | |
48 | case TWO: return 14; | |
49 | } /* 2. Missing case in switch: THREE */ | |
50 | } /* 3. Path with no return in function declared to return int */ | |
51 | ||
52 | int f6 (et x) | |
53 | { | |
54 | switch (x) | |
55 | { | |
56 | case ONE: | |
57 | if (3 > 4) | |
58 | { | |
59 | return 3; | |
60 | } | |
61 | else | |
62 | { | |
63 | return 12; | |
64 | } | |
65 | case TWO: | |
66 | if (3 > 4) break; | |
67 | return 14; | |
68 | default: return 12; | |
69 | } | |
70 | } /* 4. Path with no return in function declared to return int */ | |
71 | ||
72 | ||
73 |