Page MenuHomeClusterLabs Projects
Files F2824948

ref-passed-variables-inited.output
No OneTemporary
Actions

ref-passed-variables-inited.output
View Options

@@ -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;
}

File Metadata

Mime Type
text/plain
Expires
Sat, Jan 25, 11:05 AM (1 d, 7 h)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
1322258
Default Alt Text
ref-passed-variables-inited.output (1 KB)

Event Timeline