]>
Commit | Line | Data |
---|---|---|
1 | int g; | |
2 | ||
3 | int f(int a, int b) | |
4 | { | |
5 | int x, y, z, z2, z3, z4, z5, z6; | |
6 | ||
7 | x = a; /* okay */ | |
8 | x = y; /* bad */ | |
9 | y = b; /* okay */ | |
10 | z = z; /* bad */ | |
11 | z = g; /* okay */ | |
12 | ||
13 | if (z == g) | |
14 | z2 = 3; | |
15 | else | |
16 | z2 = 4; | |
17 | ||
18 | x = z2; /* okay */ | |
19 | ||
20 | if (z == g) | |
21 | z3 = 3; | |
22 | else | |
23 | z4 = 4; | |
24 | ||
25 | x = z3; /* bad */ | |
26 | x = z4; /* bad */ | |
27 | ||
28 | if (z == g) | |
29 | z6 = 4; | |
30 | ||
31 | x = z6; /* bad */ | |
32 | ||
33 | if (z == g) | |
34 | { | |
35 | int i, j; | |
36 | ||
37 | i = x; /* okay */ | |
38 | i = j; /* bad */ | |
39 | z2 = i; /* okay */ | |
40 | z3 = i; /* okay */ | |
41 | } | |
42 | else | |
43 | { | |
44 | int i, j; | |
45 | ||
46 | { | |
47 | int m; | |
48 | ||
49 | j = i; /* bad */ | |
50 | i = z5; /* bad */ | |
51 | z3 = j; /* okay */ | |
52 | m = x; | |
53 | } | |
54 | } | |
55 | ||
56 | x = z5; /* bad */ | |
57 | x = z3; /* okay */ | |
58 | ||
59 | if (x == z3) | |
60 | { | |
61 | z4 = 7; | |
62 | } | |
63 | ||
64 | x = z4; /* < not reported> */ | |
65 | return 5; | |
66 | } | |
67 | ||
68 | ||
69 |