blob: c7a9f91fed055d5cee9335c4599d94222c3386e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
@@ -12,19 +12,19 @@ void zob2(int ***z) {
}
void bar0(void) {
- int i;
+ int i/*FIXME:initialize me*/;
foo(&i);
baz(i);
}
void bar1(void) {
- int i;
+ int i/*FIXME:initialize me*/;
foo(&i);
foo(&i);
}
void bar2(void) {
- int a = 1, b, c = 3;
+ int a = 1, b/*FIXME:initialize me*/, c = 3;
foo(&a);
baz(a);
foo(&b);
@@ -34,37 +34,37 @@ void bar2(void) {
}
void bar3(int *w) {
- int i;
+ int i/*FIXME:initialize me*/;
foo(&i);
*w = i;
}
void bar4(int **w) {
- int i;
+ int i/*FIXME:initialize me*/;
foo(&i);
**w = *i;
}
void bar5(int ***w) {
- int *i;
+ int *i/*FIXME:initialize me*/;
zob(&i);
***w = *i;
}
void bar6(int ***w) {
- int *i;
+ int *i/*FIXME:initialize me*/;
zob1(&i);
***w = *i;
}
void bar7(int ****w) {
- int **i;
+ int **i/*FIXME:initialize me*/;
zob1(&i);
****w = **i;
}
int bar8(void) {
- int i;
+ int i/*FIXME:initialize me*/;
foo(&i);
return i;
}
@@ -82,7 +82,7 @@ void not1(void) {
/* XXX false positive */
void not2(void) {
- int i;
+ int i/*FIXME:initialize me*/;
foo(&i);
*(&i) = 2;
}
|
